 458. Let h = v + 1895/1386. Which is smaller: h or 0?
0
Suppose -40*v + 488 = -36*v. Let d be (v + 0)/((-56)/(-28)). Is d <= 59?
False
Let n = 8.2 + 2.8. Let i = 25 - n. Let z = i - 15. Which is greater: -0.1 or z?
-0.1
Let t be 1 + 1 - 2*126/161. Which is smaller: 1 or t?
t
Let r be (-13)/(-1)*(14 + -10 - 3). Which is smaller: -40 or r?
-40
Suppose 9*c + 180 = 12*c. Let j be (-12176)/c + 2/(-3). Let q = 203 + j. Is -1 equal to q?
False
Let v(f) = 9*f**2 + 13*f + 20. Let o(n) = -5*n**2 - 6*n - 10. Let i(a) = -7*o(a) - 4*v(a). Let y be i(-9). Which is greater: -12/23 or y?
-12/23
Let u be (((-104)/(-48))/13)/(1/(-3)). Let q = -0.32 + 0.36. Is q <= u?
False
Let x(j) = -j**3 - 5*j**2 - j - 5. Let g be x(-4). Let o be -4 - 0 - (1 + (-68)/4). Let b = g + o. Is -3 at most b?
False
Suppose t = -5*z + 490, -193 = -2*z + 28*t - 29*t. Does 0 = z?
False
Let c = 0.04 - 0. Let k = -0.5 - -0.5. Let d = -0.2 - k. Which is bigger: c or d?
c
Let b(j) = 20*j**2 + j + 2. Let a be b(-1). Suppose 0 = m - 5*k + a, 4*m - 8 = -k + 13. Which is smaller: m or 6?
m
Let d = -78 + 76. Let r = -15 - -21. Let x be r - 3 - (5 + d). Which is greater: x or -2/13?
x
Let c(i) = -2*i**2 + 18*i - 67. Let f be c(6). Which is bigger: f or -27?
-27
Let d be (-1)/(1/(-1)*1). Let b be (-1 + -1 - 23) + d. Let h be 2/8 + 22/b. Which is greater: 2/7 or h?
2/7
Let w be (-6 + 5)/((-1)/83). Let b = w + -1493/18. Which is smaller: 0 or b?
0
Suppose 3*c + 2*n = -c - 6, 4*c - 4*n = 0. Let z be (-1 + c)*2/92*-4. Which is smaller: z or 0?
0
Let t = -18 + 28. Let v(f) = -f**3 + 10*f**2 + f - 19. Let n be v(t). Is -8 greater than n?
True
Suppose 3*n + 56 = 5. Let s = -662/25 + 202/25. Is s greater than n?
False
Let m be ((-6)/2)/3 + 6. Suppose 176 = -4*g + 2*c, c = 2*g + m*c + 108. Let q be ((-6)/g)/((-9)/6). Is q equal to 2/7?
False
Let m be 5 + -2 + (-3 - -2). Let b be (5 - -5)*(-1)/m. Let l = 53 + -56. Which is smaller: b or l?
b
Suppose 4*k = 8, -4 = z + 4*k - 0. Is -16 greater than z?
False
Suppose -5*z = -2*n - 1239, 2*z + 2514 = -4*n - 0*z. Let v = n + 4379/7. Let j = -3033 - -3032. Which is smaller: v or j?
v
Let n(a) = -2*a**2 - 21*a - 6. Let i be n(-10). Suppose -5*j = -j + i. Do 2 and j have different values?
True
Suppose -28*c + 24*c = 0. Let n be 3*-1 + 245/65. Which is greater: n or c?
n
Let q be ((-112)/(-12))/(8/(-132)) - 1. Let b be 31/q*(-1 - -2). Which is greater: -1 or b?
b
Suppose 0 = h - 5*h + 5*c + 27, 4*h - 3*c = 29. Let i be (12/h)/((-6)/32). Suppose -12 = 3*v - 3*m, 4*v - m + 4*m + 37 = 0. Which is bigger: v or i?
v
Let b(o) = 36*o - 252. Let k be b(7). Are -1/241 and k equal?
False
Let c(w) = -w**2 - 61*w + 406. Let p be c(6). Suppose 2*i + 31 = 3*f + 9, -14 = -3*f - 2*i. Which is greater: f or p?
f
Let o(t) = 3*t**3 + 4*t**2 - 13*t - 7. Let w(j) = 4*j**3 + 3*j**2 - 14*j - 7. Let q(y) = -5*o(y) + 4*w(y). Let f be q(6). Is f equal to -11?
True
Let y = 17 - 16.9. Suppose b - 4*b + 5*g = -105, 4*g - 105 = -3*b. Which is smaller: b or y?
y
Let w = -1779 - -1856. Is 77 >= w?
True
Suppose 4*z = 76 - 224. Which is greater: z or -33?
-33
Let z(a) = -16*a + 111. Let w be z(7). Let l = 6779/14 + -484. Is w greater than l?
False
Let b = 3/100 - -179/700. Is b equal to -2?
False
Let f be (-6)/(-1) + 55/(-11). Which is bigger: f or -3/41?
f
Let p be -3 + 6 - (1 - 1496/(-688)). Is p equal to 0.1?
False
Let h = 24 - -86. Do h and 107 have different values?
True
Suppose 6*l + 612 = 594. Which is smaller: -160 or l?
-160
Let h = 0 + -0.7. Let y = -9013/5 - -1803. Is h equal to y?
False
Suppose -3*q + 4*d + 109 + 109 = 0, -3*d = 3*q - 183. Which is smaller: q or 64?
64
Let g = -3.3 - -2.9. Let o = 51 + -49. Is o less than or equal to g?
False
Let n be 407/82 - (-23 + 28). Let w(o) = o. Let m be w(1). Which is smaller: m or n?
n
Let a = 2 - 1.1. Let y = 0.8 - a. Let o = 0.12 + -0.02. Which is bigger: o or y?
o
Let l be ((-18)/(-15))/(3/(-10)). Let w be l/(-12) + 10/(-12). Let f = -8.5 + 7.2. Is f less than or equal to w?
True
Let f = 75 - 55. Suppose 15 = -5*i + f. Which is smaller: i or 2/25?
2/25
Let b be (114/(-8))/(-1)*(78 + -74). Let f(j) = j**2 - 4*j + 2. Let w be f(4). Suppose 5*k + 4*n + b = -0*n, -n + 28 = -w*k. Which is smaller: -12 or k?
k
Let y = 30 - 37. Let r(f) = 9*f + f**2 + 10 - 2*f + 5*f - 3*f. Let d be r(y). Is -5/2 at most as big as d?
False
Suppose -2*q + 3*o - 6 = 0, 0*o = o - 4. Suppose -228*f + 223*f = 0. Suppose -6*h + q*h + 3 = f. Which is smaller: 2/99 or h?
2/99
Let m = -54 - -75. Let y = 39 - m. Is y > 1/4?
True
Suppose -4*x + 817 = -91. Are 227 and x equal?
True
Let v be (168/35)/(4/10). Let n be 40/v*6/(-4). Is -5 at most n?
True
Suppose -3*i + 24 = 4*h - i, -5*h = 5*i - 40. Let f be (3 - h) + -2 - -13. Let c be 2/1*25/f. Is 6 greater than or equal to c?
True
Let k be (-310)/(-110) - 2/(-11). Is 76 greater than or equal to k?
True
Suppose 6*i + 85 - 79 = 0. Which is smaller: 10.7 or i?
i
Suppose -4*p - p = 5*g, 0 = -3*g - 2*p + 4. Suppose -4 = 4*t - 8*t, t + 3 = -g*y. Which is greater: 2 or y?
2
Let n(z) = z**2 - 6*z + 8. Let g be n(3). Which is greater: 0.94 or g?
0.94
Let q be ((-68)/(-578))/((-2)/3). Is 1 at least as big as q?
True
Let c = 4591/1656 + -66/23. Which is smaller: -1 or c?
-1
Suppose 0 = -8*j - 341 + 957. Which is smaller: -2 or j?
-2
Let m = 22 + -21. Is m >= 2/405?
True
Let r be (4/(816/212))/(6/9). Let z = -14/51 - r. Is z greater than -3?
True
Let x be 85/(-51) - (-1)/(3/1088). Is x smaller than 362?
True
Suppose -3*c + 5*c = 3*a + 1860, -4*a - 3728 = -4*c. Suppose -4*v = -2*v + c. Let g be 6/(-39) - 98/v. Is g < 1?
True
Let q(t) = -t**3 - 4*t**2 + 2*t + 1. Let j be q(-5). Suppose 4*w = -0*w + j. Is 3 equal to w?
False
Suppose 0 = -w - w. Suppose l + 5*k + 5 = w, l = -0*l - 3*k - 3. Let o = 1/46 + -12/23. Which is bigger: o or l?
l
Let m = -1922 + 1683. Which is smaller: m or -238?
m
Let o(i) = i**3 + 4*i**2 - 21*i - 83. Let v be o(-4). Suppose -2*d + d = -18. Let m be (d/(-4))/(-7 - -4). Is v bigger than m?
False
Let v = 10 - 9.94. Let w = v + -1.06. Let p = w + 1. Is -0.07 at least as big as p?
False
Let m(x) = 2*x**2 - 43*x - 246. Let w be m(-5). Which is bigger: w or 55/3?
w
Let o = 2015.03 + -2001. Let m = -0.107 - -14.107. Let i = m - o. Which is bigger: -0.2 or i?
i
Let w be (6/4)/((-6)/(-20)). Suppose -27 = w*d + 4*l, -2*d - 9 = 2*d - l. Let y be d + (73/(-25))/(-1). Is y < 0?
True
Suppose 64 = -6*q + 58. Which is smaller: q or -38/35?
-38/35
Let u = -61 + 61. Let s be u + 2/(-3) - 28/(-28). Let g = -21 + 104/5. Which is smaller: g or s?
g
Let c be 46984/48 - 1/(-6). Suppose 2*f + z = -890, -c - 789 = 4*f - 4*z. Let d be f/(-504) - (-2)/7. Which is smaller: 2 or d?
d
Let b be (2 + -7)*1/1. Is -4/5 greater than b?
True
Suppose -2*c = -c - 6. Suppose 5*x = 81 - c. Let l = 2 + 12. Which is smaller: l or x?
l
Let o = -127 - -127. Suppose 9*q + 125 - 26 = o. Is q > -10?
False
Let a = -1421/8759 + 2/461. Which is bigger: -1 or a?
a
Suppose -c - 506 = -3*h, 0*h + 842 = 5*h - c. Suppose 4*u - h = 32. Let r be (60/u)/((-1)/5). Is -29/5 less than r?
False
Let f be 26 - ((-4)/7 - (-175)/49). Let m = 27 - f. Which is greater: 9 or m?
9
Let h = -361 - -367. Is 17 at least as big as h?
True
Let s = 3113/3 + -1036. Is -37 less than s?
True
Let t(s) = -s + 7. Let v be t(3). Suppose 9*d = v*d. Suppose d = a - 3*r - 1, 3*a + 17 = r + 4*r. Which is greater: -12 or a?
-12
Let j = 2 + 2. Suppose 2*s + 3*r - 3 - 8 = 0, 0 = -s - j*r + 13. Let u be -1*s - 2/6. Is 0.2 greater than or equal to u?
True
Let w be ((-2)/(-5))/(-3*(-32)/8700). Let f = w - 36. Are 0.29 and f non-equal?
True
Suppose 0 = -3*v - 4*v + 63. Suppose -12 = 3*n + w, 3*n + 5*w + v = -15. Is -5 smaller than n?
True
Suppose -b = -16 - 9. Suppose -5*q + b = f, 2*q - 3 = -3*f + 7. Is f at most as big as -6?
False
Suppose -6 = -p + 3. Let s = -24 + 27. Suppose -s*x + 5 + 25 = 0. Which is smaller: p or x?
p
Let m be (-14 - -16)*4/(-8). Let y be (-1296)/(-645) + 1 - 3. Is y != m?
True
Let x = 54 + -8. Let a = -46.2 + x. Which is bigger: a or 1/7?
1/7
Let t = -47 + 70. Suppose 5*c + 125 = 10. Let f = c + t. Are f and -7/6 nonequal?
True
Let k = 24 - 14. Suppose m - k = -13. Let g = -3 - m. Which is smaller: 2/5 or g?
g
Let z(l) = 2*l + 2. Let y be z(-2). Let v = y - 5. Let q(w) = 8*w + 2. Le