 -3010. Which is smaller: u or w?
w
Let k = 274 - 264. Which is greater: k or 1/9?
k
Let g = 9.3 - 0.3. Let x = g - 11. Is -10 >= x?
False
Let t = -2/79 + -377/711. Which is smaller: t or -2?
-2
Let h = 48428 + -243788/5. Which is bigger: -330 or h?
h
Let b = -15 + 15. Let v be 21/(-30)*8/(-154). Are v and b nonequal?
True
Suppose -3*l = -5*l - 5*j - 67, -l = 3*j + 34. Is l bigger than -31?
False
Let r = -34 + 75. Let n be r/(-44) - 6/(-33). Suppose 0 = -4*v + 5*v + 2. Which is smaller: v or n?
v
Let b(s) = s**2 + 14*s - 13. Let p be 6/2 - -30 - -4. Suppose -27 = 4*k + p. Let y be b(k). Is y at most 18?
False
Suppose -3*z + 6 = -z. Let a(q) = q**2 + 4. Let w be a(z). Let o = w - 13. Is 1 <= o?
False
Let w = 1796 - 1795. Which is greater: -2/1401 or w?
w
Let b = -18 - -18. Let x be 1*(-3 + 4) - -4. Let a be x*-1 - (3 - 6). Which is smaller: b or a?
a
Let d = 14.26 + -14.46. Which is greater: 9/53 or d?
9/53
Let b = -5 - -8. Let g be (2/3)/(2/6). Let z = g - b. Which is smaller: z or -3/2?
-3/2
Let z = -2.25 - -3.04. Are 2 and z equal?
False
Let n = -29 - -19. Let t be -1 + ((-24)/n - 1). Let c = -90 + 629/7. Which is greater: c or t?
t
Let g be (-6 - -17 - 5) + (-6)/1. Is g <= 2/271?
True
Suppose -14 = 52*d + 194. Is -87/16 at least d?
False
Let v be (-56805)/93800 - (-9)/15. Which is greater: 0 or v?
0
Let w be (-45775)/(-570)*(-2)/(-10). Let z be 2/((-12)/(-97) + 0). Let x = z - w. Do 0 and x have different values?
True
Let t be (7/(-3) - -2)/((-16)/48). Let b = -4 - -11. Let d be 5/b*(-2)/5. Is t less than d?
False
Let r = 326 + -361. Which is smaller: r or 4?
r
Let t be (-7 - -3)/(2 + (-128)/68). Let d = t + 64. Which is smaller: d or 29?
29
Suppose 0 = -303*z + 293*z - 1850. Which is smaller: -186 or z?
-186
Let g(z) = 17*z + 4. Let t be g(-4). Let r = 129/2 + t. Let w = 22 + -15. Is w equal to r?
False
Let z be (-12)/14 + 1 - 0. Let r = 48 - 46. Suppose -r*a = a - a. Which is smaller: a or z?
a
Let c = 246 + -413. Let s = c - -141. Suppose -2*z - 8 = 0, 106 = -5*b - 4*z - 45. Which is greater: b or s?
s
Suppose 0 = 5*z - b + 6*b - 445, 4*z = 3*b + 328. Let q = 84 - z. Is q greater than 2/7?
False
Suppose -3*o + 17 = -r, 2*o + 4*r - r = 26. Let g be 1/1*o - 3. Suppose -g*f = 2*a, 6*a - 5*f = 3*a + 11. Which is smaller: 3 or a?
a
Let m = 307 - 401. Is -93 smaller than m?
False
Let v(o) = o**3 - 10*o**2 + 10*o + 8. Let c be v(9). Let a be 11*-1 - 34/c. Let u be ((-18)/(-15))/((-2)/20). Which is smaller: u or a?
a
Let d be 9/(-27) + (-10)/(-3). Suppose 22 = 4*m + d*t - t, 6 = 2*m - 4*t. Which is bigger: 0 or m?
m
Let f = -4/145 + -419/580. Which is smaller: -36/13 or f?
-36/13
Suppose 0*w - 78 = -5*n - w, -51 = -4*n + 3*w. Let z be ((-144)/n)/((-4)/30). Let c be 2/7 - z/105. Are -2/19 and c unequal?
True
Suppose 17*o - 280 = 10*o. Which is bigger: o or 0.2?
o
Let j = -17158/33 + 520. Suppose -7*y - 27 = 365. Let a = y - -57. Which is smaller: j or a?
j
Let u be ((-4)/4088)/(34/(-357)). Is 0 <= u?
True
Suppose 3*j + 146 + 6 = 2*q, 3*q + j = 239. Let x = -0.06 + -0.04. Which is smaller: x or q?
x
Let r = 0.26 + -0.09. Let h = r + -3.17. Let k = h + 2.8. Is -2/3 greater than or equal to k?
False
Let m(f) = -6*f - 6*f**2 + 2 + 5*f**2 - f**3 - 6*f**2. Let w be m(-6). Let d = 1.127 - 1.427. Is d at least as big as w?
False
Let l be (-14)/12*2/14*1. Let k = 0 + -1. Let z = 2 + k. Do z and l have the same value?
False
Let x(g) = g + 7 - g**2 + 0*g**2 + 11 - 15. Let r be x(2). Let q = 2 + r. Which is greater: 4 or q?
4
Let x(f) = f**3 - f**2 - f + 4. Let c be x(-4). Let v be (-34)/c - 22/99. Suppose 3*b - 5*b + 2 = 0. Which is smaller: b or v?
v
Suppose 3*z = b - 17 - 26, -4*z - 196 = -4*b. Is b > 59?
False
Let u = 13.2 - 2.2. Let f = -12 + u. Suppose 6*h - 9 = -3. Which is smaller: h or f?
f
Let c be (-105)/(-21) - (-1 - (-3 + -2)). Which is smaller: c or -17/126?
-17/126
Let j = -43 - -42.91. Suppose -2*m - g = -3*g - 18, -4*g - 4 = 0. Suppose 10*c - 5*c - 3*l = m, 4*c = -3*l + 1. Which is bigger: c or j?
c
Let k = -15812/5 + 3180. Is k >= 18?
False
Let m = -83 - -83.114. Let p = 1.114 - m. Let j = -8 - -25. Which is bigger: p or j?
j
Let z(c) be the first derivative of c**4/4 + c**3 - 5*c**2/2 - 4*c - 4. Let j be z(-4). Suppose j*r - 52 = -4*r. Is 13 equal to r?
True
Let l = 881119/133 + -6625. Which is smaller: l or 0?
l
Let a = 151/952 + -295117/414120. Let r = -838 - -72902/87. Let h = r + a. Which is smaller: -2 or h?
-2
Suppose -4*a - 32 = 4*r, -3*r - 2*r = -a + 10. Which is smaller: r or -24/13?
r
Suppose -2*i = -2*n - n + 7, 0 = -3*n - 4*i - 23. Let u = -3 + n. Let b(d) = d + 4. Let w be b(u). Is w < 0?
False
Let j(y) = -14*y - 2. Let z be j(1). Let r = z - -19. Let x = 21 - r. Which is smaller: x or 19?
x
Let w be (-96)/(-128) - (-26)/8. Are w and -4 equal?
False
Let k = -4369932827/172 - -25406350. Let w = -8325/2 - -15705/4. Let v = w - k. Which is smaller: -1 or v?
-1
Suppose -5*y = -5*d - 6*y + 165, 5*d - y - 165 = 0. Let i(t) = 2*t**2 - 4*t + 4. Let o be i(5). Is d bigger than o?
False
Let l = -2/933221 - 23411715205/10265431. Let z = -2283 - l. Which is greater: z or -2?
-2
Let x = 822 - 815. Let t be (-3 - 132/(-45))*-123. Which is bigger: x or t?
t
Let h(y) = y - 31. Let n be h(32). Which is bigger: n or -153?
n
Let m = -330 + 480.8. Let i = -151 + m. Let n = 4 + 0. Which is smaller: i or n?
i
Let n(i) = -14*i - 531. Let u be n(-39). Suppose o = -3*o + 56. Which is greater: u or o?
u
Suppose 4*x + 6 = x. Let n = -197 + 102. Let d = -97 - n. Are x and d non-equal?
False
Let v = 395 + -400. Which is smaller: v or 25?
v
Let z(x) = 2*x**2 - x - 1. Let i be z(-2). Suppose 13*b = 2*b + 88. Is i smaller than b?
False
Let h be 12/8*(196/20 - -3). Let l = 28 - 9. Is l greater than h?
False
Let l be (106/(-6))/((-52)/(-39)). Let n = l + 13. Are 1 and n equal?
False
Let y = -0.0909 + 210.0909. Is y not equal to -2/11?
True
Let d be 4/6*(-12 + (-7 - -16)). Let t = -66 + 10. Let n be 78/t + 1/4. Is d < n?
True
Let n = 2279/12 + -190. Is 0.4 less than n?
False
Let i = 0.29 - 38.29. Let b = -5 + i. Which is bigger: b or -1?
-1
Let n(z) = -z**3 - 3*z**2 + 3*z - 5. Let o be n(-4). Let g be 3 + (0 - o) + 1. Suppose 5*q + 3*l = -4, -4*q + 0*q - g = 3*l. Is q bigger than -1/6?
True
Let h = 689 + -700. Suppose 0 = -3*w - 4*p - 26, -3*w + 2*p - 21 = 11. Is h equal to w?
False
Let b(h) = h + 5. Let u(f) = -5*f + 12. Let r(c) = 4*c - 13. Let a(k) = 4*r(k) + 3*u(k). Let y be a(0). Let x be b(y). Which is smaller: -12 or x?
-12
Let r = 14.9 + -14.727. Which is bigger: -0.3 or r?
r
Let h be 4/(-14) + 142/7. Suppose -h = 5*v - 10*v. Suppose -w = v*w - 5. Which is smaller: w or 2/29?
2/29
Let t(q) = -2*q**3 - 2*q**2 - q. Let r be t(-2). Let k(o) = -7*o - o**2 + r + 0*o**2 - 3*o**2 + 3*o**2. Let i be k(-8). Is i equal to 1?
False
Suppose -3*q + 4*u + 1 = 0, -3*q + u + 2*u = 0. Is 3/383 < q?
False
Let k be 12/4*((-200)/(-105) - 2). Which is smaller: k or 2/19?
k
Suppose -s + 34 = -5*t - 3*s, 2*t = -3*s - 7. Let y(v) = v**2 - v - 9. Let i be y(0). Which is greater: t or i?
t
Let j be (162/5*227)/((-474)/(-60)). Let s = j + -931. Is s at least 1?
False
Let z(n) = n**3 + 5*n**2 - 12 - n - 8*n + 0*n**2. Let d be z(-6). Suppose 0 = 2*u - 34 + d. Are 12 and u unequal?
True
Let j(l) = -8*l - 16. Let o be j(-8). Suppose 0*g - 165 = 4*g - 3*i, -g - o = -3*i. Which is bigger: -38 or g?
-38
Suppose -5*j = -3*s - s - 23, j = -s + 10. Suppose 0 = j*g + 3*g - 10. Is 1/31 > g?
False
Suppose 13 = f - 3*y - 0, 3*f = 4*y + 24. Suppose -151 = -4*k - 8*r + 3*r, 0 = f*r - 12. Do 1/2 and k have different values?
True
Let h = 0.026 - -20.974. Let y = 21.9 - h. Let v = -1.1 + y. Which is smaller: v or 0.4?
v
Suppose -6*n + 2*n + 285 = -3*p, 364 = 5*n + 4*p. Suppose 0*v - n = -4*v. Let k = 17 - v. Does k = 0?
False
Let w = -291 + 289. Which is greater: 5 or w?
5
Let v be 6/1*36/(-297). Which is bigger: -1/3 or v?
-1/3
Let p = 720 - 748. Which is smaller: p or -13?
p
Suppose q + 79 - 73 = 0. Let d(x) = x + 9. Let h be d(q). Which is greater: h or -3?
h
Let h be (22 - 22)/(-1*(3 - 4)). Which is bigger: -8/15 or h?
h
Suppose q - 3*q + 12 = -2*h, -15 = h + 2*q. Let n be (12/18)/((-1)/6). Is n bigger than h?
True
Let g = -25/3 - -203/24. Let x be (2/(-6))/(1/2). Which is smaller: g or x?