r: c or 1/5?
1/5
Let b(s) = 2*s**2 + 46*s - 12. Let r be b(-35). Is 826 smaller than r?
True
Let f = -50 - -72. Let n = f + -22.2. Let w = -1.1 + 0.1. Are n and w unequal?
True
Suppose 3*z + 4*d = 22, -5*d = -3*d - 8. Suppose -5*b = 12 - 72. Let m = -23/2 + b. Is z bigger than m?
True
Let z = -21277/35 + 608. Does -1 = z?
False
Let k = -7/2 - -4. Let v be (-209)/855 + ((-70)/(-25) - 3). Is k smaller than v?
False
Let y be -12 + 4 - -15 - 7. Which is bigger: y or 15/44?
15/44
Let v(g) = g + 15. Let k be v(-11). Suppose -14*r + 62 = -50. Which is greater: r or k?
r
Let z(j) = -3*j + 8 + 6*j + j. Let u be z(9). Let w be 8/u + (-4)/22. Is 0 >= w?
True
Let r(p) = -p**3 - 11*p**2 - 28*p - 89. Let i be r(-9). Do -2/1493 and i have the same value?
False
Let u = 103.65 + -98. Let d = -6 + u. Let j = d - -0.15. Is j at least as big as -0.8?
True
Let x = 18.09 + 0.01. Let m = x + -18. Let z = 0.1 - 0.9. Which is greater: z or m?
m
Let i = 2 + 0. Suppose 124 = 3*n + 5*m - 59, -i*n + 109 = -m. Is 0 less than n?
True
Suppose 8 = 2*m - 2*n, -3*m + 5*n = -2 - 12. Suppose m*u + i - 2 = 2*i, 1 = -u + 2*i. Let t be 3 - 6 - (1 - u). Is -7/3 != t?
True
Let f = -11.4 - -23.6. Let w = -12 + f. Which is smaller: 2/5 or w?
w
Let z = -77 + 79. Let d be (-2 - z)*(-5 + 36/8). Which is bigger: 7 or d?
7
Suppose -4*q + 8 = -3*q. Suppose 38 = 5*b + q. Suppose h = b*h - 15. Is h equal to 1/4?
False
Let n = 17 + -20. Let z be ((-12)/1590)/(n/(-5)). Let g = 4442/795 - z. Which is bigger: g or 6?
6
Let d(v) = -11*v**2 + 2*v + 1. Let h be d(-1). Let b(j) = -118*j - 482. Let n be b(-4). Is h greater than n?
False
Let n(f) = -3*f**3 - 3*f**2 - 3*f + 24. Let v be n(-6). Is 582 equal to v?
True
Suppose -9*m + 9*m = -m. Which is smaller: 8/317 or m?
m
Let i(c) = -2*c**3 + 13*c**2 - 18*c + 8. Let w be i(5). Which is smaller: w or -37/6?
w
Let w = -1186.481 + 1186. Which is smaller: -1 or w?
-1
Let k be (-4)/(-22) - 27819/605. Let r = 46 + k. Which is smaller: r or 1?
r
Let h be (-4158)/105 - 6/(-10). Is -35 > h?
True
Suppose -860 = 2*k - 898. Is k > 0?
True
Suppose 102 = -6*q + 7*q. Suppose -q - 212 = -4*n + 2*i, 5*n - i = 400. Let h be (-6)/n*6*1. Which is greater: h or -1?
h
Suppose 0*t - 2*t = -2. Suppose -10*g = -12*g - 234. Let z be 12/g*(-9)/(-2). Do t and z have different values?
True
Let g be (-1)/(-1094*(-9)/(-36)). Which is greater: 1 or g?
1
Let x = -42 + 4. Let o = 647/17 + x. Do o and 0 have the same value?
False
Let s(t) = -t**3 - 17*t**2 + 114*t + 7. Let f be s(-22). Is -82 at most f?
True
Let o(z) = -14*z**3 - 3*z - 2. Let x be o(-1). Suppose -x = 2*g - 19. Is g at least 2?
True
Let v = -2591 + 18257/7. Is 17 equal to v?
False
Let c be (-2)/(1 + 18/(-10)). Let v(j) = 2*j**2 + 9*j - 34. Let u be v(-7). Suppose 39 + u = 10*t. Which is greater: t or c?
t
Suppose -2*b + 9 = j, -2*j + j - 3*b + 14 = 0. Let i(d) = 26*d + 16. Let w be i(-4). Let p = -5014/57 - w. Do p and j have different values?
True
Let j = -96/5 - -1258/65. Suppose 12 = -4*r + 8. Let x be -10 - -10 - r*1. Which is bigger: x or j?
x
Let z = 176 - 177. Is z less than or equal to -9?
False
Let l = -469 - -467. Which is greater: -13/20 or l?
-13/20
Let o = 96 - 100. Let t be o*-1*(-2)/26. Are 1 and t equal?
False
Let p = 25 + -28. Let y be ((-100)/16)/(p/(-12)). Does -25 = y?
True
Suppose z - 3 - 4 = 5*x, -3 = z + 5*x. Suppose -z*k = -k. Which is smaller: 31 or k?
k
Suppose 7*t + 21 + 56 = 0. Is t bigger than -123/10?
True
Suppose 43 - 48 = -j. Suppose 2*s + 38 = 2*p - 76, 5*s - j = 0. Is p at least as big as 57?
True
Let a be ((-132)/168)/(2/12) - -4. Let w = a + 2/7. Which is smaller: -0.6 or w?
-0.6
Suppose 0 = 2*h - 10, -3*c + 3*h = -33. Let o(k) = -4*k + 16. Let x = 37 - 37. Let f be o(x). Are c and f equal?
True
Let v(l) = l**2 + 11*l + 2. Let a be v(-11). Suppose -6*y = -a*y - 112. Suppose 8 = 5*i - 0*i - 3*g, -5*i + y = 2*g. Which is greater: 5 or i?
5
Let v = -61.4 - -18.8. Let f = 35 + v. Let s = -3.6 - f. Which is smaller: -0.4 or s?
-0.4
Let y be (-6)/(-8) + (-3)/(-12). Let p be (y/(-2))/((-10)/(-80)). Let q = p - -7. Which is smaller: q or 4?
q
Suppose -f - 2*f = 0. Suppose 4*g + r + 0 = 2, g = -5*r + 10. Is f at least g?
True
Let v = -17 + 307/18. Suppose 5*d + 45 = 25. Let i(j) = j**3 + 4*j**2 + 2*j + 8. Let h be i(d). Which is bigger: h or v?
v
Let j = -78 + 35. Let i = j - -43.1. Which is smaller: 0.15 or i?
i
Suppose 0 = -2*u + 4*p + 1 - 27, -2*p = -10. Let l be (-8)/u*3/2. Let i be -1 - (l/2 + -1). Is i not equal to -7/3?
True
Suppose 0*r = 2*r - 2*g + 6, 5*r = 2*g - 9. Let k be 1*((r - 1) + 1). Is k >= -2/37?
False
Suppose 154*x = 149*x + 70. Is 53/4 bigger than x?
False
Let u = 834 - 888. Let h = -0.1 - 0. Is h greater than or equal to u?
True
Suppose -5*m = 3*l + 23, -5*m + 7 = 3*l - 5*l. Let b(i) = -i**3 - 5*i**2 + 6*i + 3. Let h be b(l). Is 3 not equal to h?
False
Let i(j) = -2*j - 27. Suppose -3*d - 27 = 3*k, k = -5*d - 2 - 59. Let s be i(d). Is 4/9 <= s?
False
Let d = 4 + -2. Suppose -m = -3*m - d. Let s be (-3)/(6/2) - m. Which is smaller: s or -8/7?
-8/7
Let v be (-20 + -9)*(3/(-3) - -2). Is v at least as big as -83/3?
False
Let j = 1027 - 1026. Which is smaller: 1/143 or j?
1/143
Let b = -7.3 - 17.9. Let h = 1.8 - b. Is -0.1 < h?
True
Suppose 324 = 6*n + 318. Is n bigger than -7/25?
True
Suppose -5*g + 10 = -5*v, 5*g + 4 + 7 = -2*v. Suppose -3*n + 4*r - 2 = 2*r, 5*n - 3*r + 4 = 0. Which is bigger: n or v?
n
Let f be (25/700)/((-150)/16). Which is greater: f or -1?
f
Let s = 19 + -21. Let z = -1.9 - s. Are 5/3 and z equal?
False
Suppose 6*h + 177 + 357 = 0. Which is greater: -87 or h?
-87
Let j be (-1)/(-5) - ((-3368)/360 + -8). Are 19 and j nonequal?
True
Let d(q) = q**2 - 17*q + 113. Let k be d(6). Which is smaller: k or 44?
44
Let i = 148 + -1334/9. Let r = -469.95 + 470. Which is greater: r or i?
r
Suppose -2 = 7*l - 8*l. Suppose l*m + 5*y - 20 = 0, -5*m + 19 = -0*m - 3*y. Suppose -6 = -2*f + 2*g, m*f - 2*f + 2*g = -6. Is 1/40 bigger than f?
True
Suppose -21 = -4*x + 2*j - 3, 5*x + 4*j - 3 = 0. Suppose -6*a + x*a + 15 = 0. Which is greater: 2 or a?
a
Let c = 335.7 - 6.7. Which is greater: c or 2/7?
c
Let a be (4 - 14/6)/((-2)/(-6)). Suppose 19 = t - a*f, -2*t + 0*f + 27 = f. Is t greater than or equal to 15?
False
Let u(c) = 4*c + 12. Let r be u(2). Let y = r + -20. Which is smaller: -1/5 or y?
-1/5
Let f(o) = -6*o + 0*o + 2*o**2 + 15 - 5*o. Let y be f(8). Is y less than or equal to 54?
False
Let h(m) = m**3 - 5*m**2 + m + 3. Let x = 14 - 9. Let l be h(x). Which is bigger: 6 or l?
l
Suppose 8*p - 3*p - 10 = 0. Let a = 72405573/1580 + -229128/5. Let s = a - -3/79. Is p >= s?
True
Let x be (228/(-72))/(6/(-72)). Which is bigger: -14 or x?
x
Let h(s) = -s**2 - 8*s - 12. Let w(g) = -g**2 - 15*g - 6. Let d be w(-15). Let b be h(d). Which is greater: -3/13 or b?
b
Let n = -2.27 + -77.73. Which is smaller: n or -0.1?
n
Let q be 12/45*10/12. Let r(v) = 86*v - 515. Let g be r(6). Is q at least g?
False
Let l = -1008891/466 - -2165. Is 1 < l?
False
Let x = -0.4 + -2.1. Let z = -2.6 - x. Do -4/3 and z have the same value?
False
Let f = -297 - -2081/7. Which is greater: 474 or f?
474
Let k(l) = 11*l - 2. Let q be k(4). Let r = q - 20. Which is smaller: 21 or r?
21
Let k be 3*6/(-14) + 1. Which is smaller: -49 or k?
-49
Let s(h) = 12*h**3 - h**2 + 1. Let j(l) = l**2 - 8*l + 6. Let z be j(7). Let a be s(z). Let d be 50/(-4) - 1/2. Is a bigger than d?
True
Let b = 277 + -278. Is 2/785 not equal to b?
True
Let q = -560 + 551. Is q at least -8?
False
Let c = -37 - -41. Suppose 0 = c*w + 4*p - 64 + 8, 0 = 5*w + 2*p - 58. Which is bigger: w or 0?
w
Let k be ((-1242)/230)/((-1)/45). Which is smaller: k or 242?
242
Let b = -711 + 617. Are b and -94 unequal?
False
Let z = 55 - -74. Which is smaller: 130 or z?
z
Let m be ((-3)/(-12))/((-18)/16). Let n be -3 + (-8)/(-4) + -2. Let g(q) = -q - 4. Let l be g(n). Which is smaller: l or m?
l
Let u = -6 - -6. Suppose o + 2*o - 3*i + 27 = u, -3*i - 38 = 2*o. Let s = 52 - 67. Is o at least as big as s?
True
Let f be 88738586/6*11/(-605). Let d = f + 268904. Let j = 8/15 + d. Which is greater: 0 or j?
0
Let q = -47 + 34. Let m = q + 12.9. Let c = -2 - -1.6. Which is smaller: c or m?
c
Let t = 0.231 - -1.829. Let m = t + -2. Let o be (18/14 + -1)*7/(-3). Wh