b or -12/13?
b
Let u be (30/(-4))/(4/8 - 1). Suppose -106 - 39 = -5*r. Let v = r - u. Is v at most 15?
True
Let k = -5 + 4. Let q be (-10)/(-15) + (-22)/6. Which is bigger: q or k?
k
Let r be (-5983)/1457 + (-8)/(-2). Is r less than 1?
True
Let z be (-12)/(-64)*-2*(-10)/15. Which is bigger: z or 0.031?
z
Let x be (26/(-5))/((-11)/220). Is x at least 106?
False
Let i be 18/12 + (-27)/(-2) + -2. Suppose 2 = z + i. Is z at most as big as -1?
True
Suppose w = 3*w - 5*n + 6, 4 = -w + 3*n. Suppose 4*u - w*u = 4. Suppose 4*q + u*d = 8*q + 6, 2*q + 3*d - 9 = 0. Do 1 and q have the same value?
False
Suppose -6 = j - 8. Suppose -15 = -j*i - 3. Which is bigger: i or 7?
7
Let y = 32 - 124/3. Which is bigger: y or -9?
-9
Suppose 0 = -d - 2*d. Let z be ((-16)/152)/2 + (4 - (-2 - -6)). Is d greater than or equal to z?
True
Let v be (26/(-5))/((-13)/(-104)). Let s = v + 42. Which is greater: -2 or s?
s
Let a = 1031/15 + -190/3. Do 6 and a have different values?
True
Let c(n) = 54*n + 536. Let r be c(-10). Let z(x) = x**3 + 7*x**2 + 6*x - 5. Let i be z(-6). Is i less than or equal to r?
True
Let t = -36 - -51. Suppose -c + 0*p + 5*p + 27 = 0, -p - t = -c. Suppose 3*m = -3 + c. Is m > 4?
False
Let w(t) = 5*t**2 + 2*t - 1. Let f be w(-3). Let b = -47 + f. Is -4 <= b?
False
Let z = -64 + 52. Let g be 4 + (-50)/2*(-13 - z). Does 30 = g?
False
Let v = -0.05 - -3.25. Let k(b) = b**2 + 4*b + 1. Let h be k(-4). Let y be (4/(-32) + (-2)/(-16))/h. Is v equal to y?
False
Let p = -167.81 - -163. Let o = 0.41 + p. Let g = -3 - o. Which is greater: g or 0?
g
Let b = 0.1943 + -0.2943. Let s(g) = 49*g. Let r be s(1). Which is bigger: b or r?
r
Let h(a) = 3*a**2 - 11*a. Let l be h(5). Suppose -v - 132 = 4*f - 11, 4*v = -l. Is f at most as big as -29?
True
Let w be ((-6)/(-8))/((782/(-16))/(-17)). Which is greater: 0 or w?
w
Let a = 72 + -75.7. Let p = 3.7 + a. Let l be (-34)/21 - 10/(-35). Are p and l unequal?
True
Let x be (-1)/(-3 - (-55)/20). Suppose t = 3*q + 2*t + 5, x*t + 20 = 0. Let v be 1 - (30/(-14))/(-3). Is q less than v?
True
Let t = -286 - -285.8. Are -2/33 and t nonequal?
True
Let k = 7.1 - 9. Let m = 1.9 + k. Which is smaller: m or 5.1?
m
Let q be 89/(-623) - 1548/(-7). Is q at least 221?
True
Let s = -163.4 - -163. Is s greater than or equal to -38?
True
Suppose 0 = 6*x - x - 2*c - 21, 2*x - c - 8 = 0. Suppose -x*g + 3*y = -36 - 3, 0 = -2*g + 4*y + 24. Which is greater: g or -5?
g
Let z be 8/((-280)/(-255)) + (-4)/14. Suppose t + z = 3*n, 0*t + 3*t = 5*n - 17. Is n at most 2/59?
False
Let h(n) = -n**3 - 8*n**2 - n - 6. Let r be h(-8). Let x(k) = k**3 - 3*k**2 + 2*k. Let w be x(3). Suppose -w*s = -r*s. Which is smaller: -3/7 or s?
-3/7
Let i = 3 + 2. Suppose -1 = -2*b - l + 2, i*l + 41 = 4*b. Suppose o = r + b*r + 38, 0 = 2*r - o + 17. Which is smaller: r or -6?
r
Suppose -54 = 4*g - 6*g. Suppose -s + 2*v - g = 0, -5*s + 3*v = 43 + 99. Does s = -29?
True
Let p = 3.47 - 3.3. Let s = p - 0.07. Which is bigger: s or -4/15?
s
Let i be 4*(-457)/68 - -9. Which is greater: -17 or i?
-17
Suppose d + 4*p - 580 - 900 = 0, -5*d + p + 7400 = 0. Let r be (d/208 - 7)*14/(-6). Is -1 at least r?
False
Let y(t) = -6*t + 107. Let l be y(16). Which is greater: l or 10?
l
Suppose 4*r = 3*r - 44. Let u = -51 - r. Is u not equal to -5?
True
Suppose -5*g - 273 = 4*c, -4*c + 5*g + 211 = -7*c. Is c >= -62?
True
Let x = -18 - -24. Suppose 0 = -4*s - 2*g + 50, 3*g - 30 = -s + x*g. Is 14 at least s?
False
Let p = 919 - 917. Does 2/5 = p?
False
Suppose -5 = 5*l - 61*c + 58*c, 5*l = -2*c + 20. Is 34/13 at most as big as l?
False
Suppose -79*f + 81*f = -60. Which is bigger: -26 or f?
-26
Suppose 0 = 6*b + 53 - 287. Suppose 0 = 3*a - b - 54. Are a and 32 unequal?
True
Let w be 0 + 0 - (1 - 1). Let r = -13.0447 - -0.0447. Is r bigger than w?
False
Let v be 4 - (-1 - -2 - 1). Let g = -515 + 2075/4. Is g bigger than v?
False
Let o be ((-4 - -4)/1)/2. Let g be (-12)/50*(1 - -14). Let n = g - -31/10. Is n less than o?
True
Let l = 0.066 + -0.022. Let z = l + 2.956. Which is greater: z or -2?
z
Let u be 3/9 + (-10)/(-24). Suppose 0 = 2*c - 0*c - 72. Suppose -5*z = -z + c. Is u greater than or equal to z?
True
Let g(n) = -14*n - 59. Let c be g(0). Which is bigger: -60 or c?
c
Let y = -121.3 - -118.3. Is y smaller than 91?
True
Let f(u) = -u**2 - 11*u - 10. Let h be f(-8). Suppose -11 = -3*r + 16. Let v be h/(-98) - r/(-14). Are v and -0.09 nonequal?
True
Let y be (-466)/60 + (-18)/45. Is -7 <= y?
False
Let w = -20 + 59. Let o = 51 - w. Let j be (4 - 49/o)*-3. Is j > 0?
True
Let z = 78 + -67. Is 11 <= z?
True
Let s(q) = q - 13. Let m be s(13). Suppose m = -2*o - 0*o + b + 5, -b = -5. Suppose -o*i + 20 = 60. Is -7 at most as big as i?
False
Let q = -206 + -29. Let s = 5877/25 + q. Let a = 2052 - 2053. Is s at least as big as a?
True
Let u(o) = 5*o**2 - 7*o - 23. Let f be u(-3). Which is bigger: 37 or f?
f
Let s be (-40)/34 + (-1 - -2). Let n = -88 + 87. Do s and n have different values?
True
Let w = 415088637616/2975 + -139525595. Let l = w - -61/25. Let q = l + 163/119. Is 0 bigger than q?
False
Let r(y) = -184*y**2 - 3*y - 2. Let a be r(-1). Is -183 <= a?
True
Suppose -g + 3*g + 2 = 0. Suppose 2*f + 2*f - 8 = 0. Let i be 4/f*(-7)/(-434). Which is bigger: g or i?
i
Let p be 1 + -1 + (1 - 4/2). Let s be (p/(-10))/(3/18 + 0). Which is bigger: s or 1?
1
Let z = -20 + 19. Is z equal to 2/97?
False
Let u = 664 - 709. Is u at least as big as -44?
False
Let b be 1/(2 + 6/(-4)). Suppose b*v = 6*v. Let u = 235/7 + -34. Which is greater: u or v?
v
Let h = 0.71 - 0.7. Let k = 1.99 + h. Is 4 smaller than k?
False
Let o be (-3)/(-147)*-141 + 3. Let z = o + 13/294. Let u = -2 - -1. Which is bigger: u or z?
z
Suppose 2*b = 3*h - 6*h + 17, 0 = -2*b + 5*h - 23. Which is smaller: b or 2/581?
2/581
Suppose -3 = -3*s + 6. Suppose -s*d - 7 + 20 = -2*x, x + 8 = 2*d. Suppose -f + d*f = 2. Is 2 greater than f?
True
Let j = -133 - -114. Are j and -23 unequal?
True
Suppose 4*y = 31 + 77. Let r = y + -21. Suppose 0 = -3*t + 8*t - 30. Is t at most r?
True
Suppose 8 = 2*y, 87 = -4*m + 3*y + 11. Are -12 and m unequal?
True
Suppose 2*x = 4, 10*g = 11*g - 3*x + 4. Are g and 26/21 unequal?
True
Let k be (105/2)/((-7581)/(-380) + -20). Which is bigger: k or -1051?
k
Let r = 358 - 357.8. Is r greater than 53?
False
Let t = 5777/357 + -113/7. Do t and -1/5 have different values?
True
Let r = 12/173 + -2643/692. Let i = r + 187/52. Which is bigger: 0.2 or i?
0.2
Suppose 0 = -22*w + 5742 - 110. Is w >= 254?
True
Let h = -25 + 28. Let l be (1 - -1)/((-4)/(-6)). Let k be (-6 + l)*4/h. Which is bigger: k or -6?
k
Let a be (2/24)/(1/98). Which is smaller: 9 or a?
a
Suppose 40 = -5*g - 0*g + 4*x, -2*x = 3*g + 2. Let u be 2/g + 14/12. Suppose 10*n = -2*c + 11*n - 9, 3*c = -4*n - 8. Is c less than or equal to u?
True
Let m(u) = -11*u + 4. Let j be m(-8). Let r = -1192/13 + j. Which is smaller: r or -1?
-1
Let g be ((-23)/3)/(11/(-33)). Suppose 4*a = -5*l - 0*l + 25, g = 4*a + 3*l. Let y be ((-140)/(-32))/a + -1. Which is bigger: -1 or y?
y
Let b = -0.9 - -1. Let n = 0.18 - b. Let z = n - -1.92. Which is greater: 1/5 or z?
z
Let m(q) = 21 + 8*q**2 + 3*q**3 + 12*q - 6*q - 2*q**3. Let z be m(-7). Do z and 80/3 have different values?
True
Let z be (-25)/2*(-18)/15. Let m be 3/(-2 + 5) - z. Let j = 14 + m. Is j equal to 3?
False
Let y = 3 - 5. Let s be 1 + (-119)/11 + 4/(-22). Let h = s - -28/3. Is h greater than or equal to y?
True
Let p be (14 - 7 - 8)/1. Is -60 greater than p?
False
Let u = -76 + 77. Is u > -2/245?
True
Let y = -38 - 7. Let t = 44.8 + y. Is 0 at least as big as t?
True
Let f(x) = -2*x**2 + 13*x - 27. Let l be f(5). Which is smaller: l or -15?
-15
Suppose 4*v + 19 = p - 0*v, 0 = -4*p + 3*v + 37. Let k be 6/(-15)*p/35. Is k > -1?
True
Let l(s) = s**2 - 5*s + 4. Let x be l(4). Suppose -w + 5*v - 4 = x, 4*w + 2 = -v + 70. Which is smaller: -2/5 or w?
-2/5
Let c(d) = -5*d + 4. Let i be c(-3). Let u = 261 + -244. Which is greater: u or i?
i
Let l = -63 + -64. Is l less than or equal to -124?
True
Let y = -6905/4 - -1726. Which is greater: y or -346?
y
Let m = 15.3 + -12. Let z = 3.55 - m. Which is smaller: -0.1 or z?
-0.1
Let z = -18 - -28. Let s(h) = -5*h - 25*h**2 - 3 - 4*h + h**3 - 6 + 16*h**2. Let u be s(z). Which is smaller: u