 greater: 1/8 or h?
1/8
Let k be ((-2376)/(-20))/(2/10). Suppose -14*r - 216 = -k. Which is smaller: r or 137/5?
r
Let d = 5 + 6. Let t be (3/(-6))/(((-18)/60)/3). Suppose -l = -t*n + 8, 2*l + d = -n - 2*l. Which is bigger: n or 2?
2
Let i = -110989/11 - -10081. Which is greater: i or -8?
-8
Suppose -2*t - 24 = -3*b, 5*t + 6 = 4*b - 33. Suppose -5*r + 45 = -4*x, 5*r = -x + 13 + 7. Suppose r*d + 2 = b*d. Which is smaller: d or 0?
0
Let b = -11 + 22. Let z = -1.8273 - -1.9273. Which is smaller: z or b?
z
Let k be (-14)/(-35) - (0 + 46/(-110)). Which is smaller: k or 0.3?
0.3
Let v = 22 + 2. Let m = 12 - v. Suppose 0 = 2*b - 4 + 30. Is m at least b?
True
Let m be (1 - -1) + 3 + -70. Let n be -3*(-4 - m/15). Let w be -2 + ((-126)/(-22))/3. Is n at least w?
False
Suppose 3*n + 10 = -4*a - 7, 2*a + 4*n = -16. Is a greater than or equal to -98?
True
Let q = -15 + 18. Suppose -q*a - 4*g - 32 = -0*a, 2*a + 18 = -2*g. Let j be a/(-8) - (-6)/4. Does 2 = j?
True
Let m be (2/(-22))/(3/(-26778)). Let l = -428 - -1240. Let v = l - m. Which is bigger: 1 or v?
1
Let b(f) = -3*f**2 - 5*f + 10. Let a be b(-3). Which is smaller: -6 or a?
-6
Let s = 9.49 - 0.79. Let i = s + -7.7. Is -2 >= i?
False
Let o be 1/(-5) - (-330)/25. Suppose -2*y - 2*t - 2*t = 8, 5*t + o = -y. Suppose -3*k + 4*g = -4*k - 17, k + y = g. Which is smaller: k or -1?
k
Let i be (-2)/6 - 355674/45. Let f = i - -19088368/2415. Let x = 2/69 - f. Are 1 and x equal?
False
Let w(r) = -4 + 14*r - 5*r + 2*r**2 - 1 - r**2. Let g be w(-10). Suppose g*x - 19 = -2*d, -x + 11 = -0*x + 4*d. Is x != 2?
True
Let p be (-4)/14 + 13 + 3035/(-35). Is -75 at least p?
False
Let g = -89 - -1245/14. Let h = g - 3/7. Let s = 0.8 - -0.2. Which is bigger: h or s?
s
Let w(t) = t**2 - 9*t + 1. Let b be w(7). Do 20 and b have the same value?
False
Let v = 21590394 + -8278668. Let o = v - 40015047697/3006. Let j = -1/334 - o. Is 1 smaller than j?
False
Let x be (12 + -7)*(24/10 - 2). Suppose r = w - r - 19, 3*r = 3*w - 45. Let u be w/x + (-14)/(-28). Which is greater: 8 or u?
8
Let z(c) = -c**2 + 13*c - 10. Let k be z(12). Let b be 2 + 37/(-10) + 0 + k. Which is bigger: b or 2/5?
2/5
Suppose -4*x - 5*o = -424, -4*o + 12 = -o. Let r = x - 95. Which is greater: 4 or r?
r
Suppose 782*c = 777*c - 3895. Which is greater: -778 or c?
-778
Let y(v) = 52*v + 7. Let g be y(-2). Let s be g/(-4) - 5/20. Suppose -3*j = 3*j - s. Which is smaller: -1 or j?
-1
Let b = 6 + -4. Let j be 1*-11 + (-17)/(578/(-272)). Is j at most b?
True
Suppose -10*i + 13*i - 156 = 0. Let t = -60 + i. Let g(q) = -q - 2. Let v be g(5). Is v at most t?
False
Let i = -90 + 89.899. Let h = i + -0.899. Is h at least as big as -2.8?
True
Let i = -3.2 + 3.186. Let k = 0.186 - i. Do 2/13 and k have the same value?
False
Let a = -0.07 + -4.93. Let p = 4403 - 4404.3. Is a greater than p?
False
Suppose -g - 4*x - 393 = 0, 4*x - 332 = g + 101. Let h = 11979/29 + g. Which is bigger: -1 or h?
h
Let j be ((-4)/(-3))/((-44)/(-99)). Suppose -2*p + j*p - 57 = 0. Let n be p/(-84) - 9/12. Is n greater than or equal to -1?
False
Let x be (-3)/(-150)*(-112)/(-4). Which is bigger: 1 or x?
1
Let r be (3/21*-1)/1. Suppose 5*s + 7 = 4*k, -3*s + 7 = k + s. Suppose -2*v = -k*u + 2 - 1, 5*u = -2*v + 7. Is r at most as big as v?
True
Let l(r) = 4*r**2 + 3*r + 8. Let s(b) = -3*b**2 - 4*b - 7. Let d(w) = -2*l(w) - 3*s(w). Let q be d(-7). Let v be (-1)/(q/(-16) + 1). Is v < -3?
True
Let s be (1/32)/(1/(-2)). Let w(i) = -i**2 + 5*i + 13. Let v be w(7). Is s >= v?
True
Let u = -71 - -66.9. Let c = -4 - u. Suppose -2*y = -12 + 44. Is y greater than or equal to c?
False
Let n(m) = -6*m**2 + 3 + 6*m**2 - m**2. Let d be n(0). Let u = 3 - d. Which is smaller: u or 1?
u
Let g(s) = s**2 + 7*s - 9. Let n be g(-9). Suppose 4*u - 3*r + r - 10 = 0, -u = 3*r + 8. Is n less than u?
False
Let t be (-20)/(-5) + 7 - 3. Suppose -2*z - r = -21, 5*r - 4 = 4*z - 11. Is z >= t?
True
Let b be (-245)/49*((-18)/(-26) - 1). Do 3 and b have different values?
True
Let r(z) = -z**2 - 2*z + 4. Let w be r(-2). Let s be (-3 + 11/w)*-2 - -2. Is 2 smaller than s?
True
Suppose -29*g - 60 = -24*g. Let j be ((-6)/8)/((-4)/((-128)/g)). Is j not equal to -0.14?
True
Let l = -0.02 + -0.98. Which is bigger: 121 or l?
121
Let u = 17 + -19. Let g be u/(2*(-1)/20). Suppose 2*v = -3*x + v - 10, 2*x = -4*v - g. Is x greater than -3?
True
Let w be -3*(4*(-1)/(-3) - 2). Is w < -0.16?
False
Let k be 0 + (-3 - (-4 + 2)). Is k at least as big as -5/33?
False
Let v = -74 + 76. Let l = 1 + v. Is -2/3 != l?
True
Suppose -3*f - 4*w = 28 + 31, 0 = -4*w - 8. Suppose -3*o + 3*z - z + 33 = 0, -3*z + 9 = 0. Let j = f + o. Is j smaller than -4?
False
Let t(b) = b**2 - 6*b - 5. Suppose 3*j + 3*a - 6 = 0, 0 = -2*a - 0*a - 8. Let p be t(j). Does -5 = p?
True
Suppose 5*u + 299 = p + 2*p, 0 = u + 5*p + 71. Which is greater: -247/4 or u?
u
Let l(r) = r**2 + 5*r + 2. Let k be l(-2). Let x be 2*-1*k/8. Which is smaller: -2/135 or x?
-2/135
Let y = -0.99 - -1.39. Let q = y - 2.6. Which is greater: 2/5 or q?
2/5
Let x(g) = 4*g - 28. Let j be x(7). Is j less than or equal to -6/5?
False
Let n = -272 + 2717/10. Let i = 11/5 - 3. Let a = i - n. Which is greater: -2 or a?
a
Suppose 0 = 206*j - 213*j + 1295. Which is smaller: 184 or j?
184
Suppose -17 + 7 = -5*v, 2*v = -o + 6. Let z be (o - 8/4)/3. Which is smaller: -1/51 or z?
-1/51
Suppose 0 = -3*y - 0*y + 255. Let p be y/10 + (-1)/2. Let v be (-80)/6 - p/12. Which is smaller: -13 or v?
v
Let z = 4.89 + -299.79. Let l = z + 295. Let d = -4 + 6. Which is smaller: d or l?
l
Let i be (-181)/60 - (24/(-6) + 1). Let k = i - -451/60. Is k >= 1/3?
True
Let g(x) = -2*x - 20. Let k be g(-9). Let j be k*(-2)/16 - 0. Is -1 equal to j?
False
Let v = -146 - -170. Which is smaller: -22 or v?
-22
Let h(p) = -p**3 + 6*p**2 - 4*p - 6. Let d be h(5). Let z be d + (-4 - -4) - -3. Let n be (4/(-90))/(z/10). Which is bigger: 2 or n?
2
Let z = -1536.4 + 1540. Let t = -320/7 + 46. Is t equal to z?
False
Let x = 27 + 12. Let g = -38.8 + x. Is 0 at most as big as g?
True
Let x = 1/85 + 33/85. Let s = 45 - 30. Let l be (2/5)/((-21)/s). Are x and l unequal?
True
Let y be (124 - 115)/(3/125). Is 1127/3 less than y?
False
Let j = -62666/9 - -6963. Suppose -2*r = 2*r + 4. Which is greater: j or r?
j
Suppose 3*t - 221 = -u, 5*t - 119 - 221 = 4*u. Let n = -46 + t. Which is smaller: n or 1?
1
Let s be (-16)/7032*-4398 - 10. Is 1 equal to s?
False
Suppose -3*t + 2*a = -a + 105, 5*a = 0. Let h = t + 38. Which is smaller: 1 or h?
1
Let c = -1074 - -4299/4. Which is smaller: -172 or c?
-172
Let w = -0.52 + -0.08. Let i = 1.6 + w. Let o = -1.1 + i. Is 1 smaller than o?
False
Let x be -14 - (3 + -5 - -5). Let f = x + 24. Do f and 9 have the same value?
False
Let w = 150 - 102. Is w at least as big as 1?
True
Suppose -3*h - 21 = -3. Let q = h - 0. Let z be (q/18)/((-2)/(-6)). Which is greater: z or -2/3?
-2/3
Let p = -28 + 28. Suppose 5*m = -15, 9 = -p*b - 5*b - 3*m. Which is bigger: 1/10 or b?
1/10
Let l be 4*(-6)/204 + (-208)/(-612). Is -43/2 equal to l?
False
Let f = -6 - -11. Let a(o) = 3*o + f*o**3 - 5*o**2 - 3*o**3 - o**2 + 9 - o**3. Let j be a(5). Is -1 bigger than j?
False
Let q(f) = -f**2 + 22*f + 5. Let d be q(19). Suppose -5*w + 43 = 2*b - d, 0 = 5*w - 3*b - 130. Which is smaller: 25 or w?
w
Let c = -82 + -69. Is 1/3 bigger than c?
True
Suppose -c - 1218 + 305 = -3*y, -3*c + 15 = 0. Are y and 306 nonequal?
False
Suppose 4*s = 2*i + 14, -2*i + 6*i + 19 = 5*s. Suppose -t + 5*m - 23 = 0, -34 - 15 = s*t - 5*m. Let r be t/(-28) + 2/8. Are 2 and r non-equal?
True
Suppose 1539*r - 1546*r + 1477 = 0. Do 421/2 and r have different values?
True
Let w = -79 + 53. Let r = w + 25. Which is smaller: -5 or r?
-5
Suppose -2*r - 3*v + 5 = 0, 4*r - r - 6 = -3*v. Let j = -1 + 0.98. Let x = -0.28 + j. Which is greater: r or x?
r
Let o be (1 + 3)*(-105)/(-30). Let q be (-4)/(-14) - (-374)/o. Is q less than or equal to 55/2?
True
Let z = 2628 + -2616. Suppose 3*i - b = 34, -3*b - 3 = 3*i - 21. Is z at least i?
True
Let m = 11/5 - 7/3. Let t(u) = 4*u. Let h be t(4). Suppose -2*i - 12 = -3*x, 3*i - h = -3*x - x. Is m at least as big as i?
False
Suppose -5*i + 2*t = -5 - 1, -5*i = 2*t + 6. Suppose -4*r + 2*r - 8 = i. Let m = 158 - 158. Which is smaller: m or r?
r
