 5/10 + (-1)/2. Let r be 3/(-9)*141*1*k. Let t = -47 + r. Which is greater: t or 3/32?
3/32
Let j(p) = -21*p + 158. Let x be j(-17). Which is smaller: x or 513?
513
Let w be 10/4 + (-1)/(-2). Suppose 0 = w*l + l + 8. Let s be (-26)/(-11) - l/(-1). Is s > 0?
True
Let z = 11522452553/104 - 110791588. Let y = z + -1225. Suppose 2*t = 3 - 1. Which is smaller: t or y?
y
Let l(k) = 889*k - 3349. Let d be l(7). Is 2875 less than or equal to d?
False
Let v = 18185 + -18186. Let y(h) = -h**2 + h + 14. Let z be y(11). Is v at most as big as z?
False
Suppose -3*s - 2*w = -7530, -9*s + 4*w + 5052 = -7*s. Are 2512 and s equal?
False
Suppose 5*m - 228 = -0*g - 3*g, 380 = 5*g - 2*m. Let k = g + -107. Which is smaller: k or 2/9?
k
Let a = -59/3 + 647/33. Let c(j) = -j**3 - 4*j**2 - 5*j - 3. Let b be c(-2). Is a at most b?
False
Let d be 40/28*14/4 - (-40)/22. Suppose -13 = -4*u + 3*b, -4*u + 5*b - 53 = -8*u. Which is greater: d or u?
u
Suppose 6*t - 3*t = -2*x - 4, 0 = 4*t - 2*x + 10. Let n be 0 - (-25 - t) - (-2)/2. Suppose -n*k = -21*k - 39. Do k and 15 have different values?
True
Let a(d) = d**3 - 18*d**2 + 67*d + 59. Let p be a(12). Which is smaller: p or -1/1598?
p
Suppose -88*r + 2*h = -92*r + 90, -2*h - 15 = -r. Let k(a) = -12*a - 3. Suppose b = -2*i - 8, -4*i + 2*b + 4 = -b. Let g be k(i). Is r bigger than g?
False
Let c be 1/(((12/(-4))/27)/(-1)). Let s(t) = -t**2 + 7*t + 19. Let b be s(c). Is -1/5 bigger than b?
False
Let c(y) = 2*y**3 - 3*y**2 - 61*y + 407. Let l be c(7). Which is smaller: l or 509?
509
Let o = -169 + 181.1. Let k = o + -12. Let t = k + -0.1. Does t = -0.2?
False
Suppose -3*c + 4*q = 13 - 4, 3*q = 3*c + 6. Let u = c - 2/3. Let w = u + -38/105. Which is bigger: w or -1?
w
Let a(d) = d + 10. Let s be a(14). Suppose 3*f - s = -2*r, 4*f - 2*r = -0*r + 32. Suppose x + f = -x. Which is bigger: -6 or x?
x
Suppose -5*u = 10*l - 13*l + 7, -2*l + 2*u - 2 = 0. Let b be 9 - 63455/4230 - l. Is 1 bigger than b?
True
Let t = -18.01 + 18.11. Which is smaller: t or -1575/4?
-1575/4
Let y be 19/(-76) - (-238)/888. Let v(b) = b**2 + 27*b - 50. Let u be v(2). Suppose -h + 4 = -k + u, 5*k - 3*h = 12. Which is smaller: k or y?
k
Let u be 4/18 - (123760/(-15264))/(-17). Is u less than 0?
True
Let y(q) = -q**2 - 18*q - 54. Let j be y(-5). Let r be (j - (-108)/(-10))/((-4)/(-2)). Do r and -0.04 have different values?
True
Let n be ((-3)/((-36)/20))/(39/2925). Which is smaller: n or 371/3?
371/3
Suppose 5*t + 5*i + 5 = 0, 4*t + 32 = -5*i + 31. Which is smaller: t or 166/7?
t
Suppose -20*c = -3*c + 1530. Let a = -59 - c. Which is smaller: a or 34?
a
Let u be 2/((-8)/4) - -9. Suppose -5*h - 116 = -x - u, -x - 2*h = -143. Which is smaller: x or 134?
x
Suppose -j + 4*p + 43 = 5, -3*j - 4*p = -82. Are j and 39 nonequal?
True
Let s = -7224 - -1321988/183. Does 0.4 = s?
False
Let m(z) be the first derivative of 9*z**2/2 + 50*z + 84. Let v be m(-4). Let y be 2*7 - 0/(-2). Is v equal to y?
True
Suppose -5*u + 3*v = 2, -v - 7 + 13 = u. Suppose u*c + 40 = 42. Is c at least 2?
False
Let h = -4227 + 4228. Which is greater: 130 or h?
130
Let w(l) = l**3 - 23*l**2 + 22*l. Let b be w(22). Suppose b = -8*k - 239 + 615. Is -2 smaller than k?
True
Let q = 19 - 21.1. Let w be (2 - 0) + 8/(-4). Which is greater: q or w?
w
Let l(n) = 26*n**3 + n**2 + n. Let f be l(-1). Let k = 2986 - 21085/7. Which is bigger: f or k?
f
Suppose -29673 = 8282*v - 8303*v. Is v smaller than 2/7?
False
Let b be -8 + 26/182*131*7. Is 135 less than or equal to b?
False
Let v be (6 - (-4 + 3 - -7)*-2) + 1. Let k be (3/3)/(((-154)/4)/7). Are v and k equal?
False
Let j = -132.95 - -130. Let w = 134.7 + -137.7. Let h = j - w. Which is smaller: -2 or h?
-2
Let x = -1701/59 + 2815332/97645. Which is bigger: -2 or x?
x
Let n = -0.212 - -0.211. Let o = n + -0.099. Is -42 at most as big as o?
True
Let w(d) = 7*d - 4. Let r be w(5). Let y = 790 + -788. Which is greater: r or y?
r
Suppose -5*a = i - 6, 7*a - i - 4 = 2*a. Let g = a + -1. Suppose -4*l + 5*m - 14 = g, 5*l + 4 + 3 = m. Is -4/13 smaller than l?
False
Suppose 3*u - 2*n - 106 = 0, -3 + 18 = -3*n. Let f = -31 + 21. Let s be f/(-5) + u/(-14). Is 0 less than or equal to s?
False
Let r be -73*(-1 - -3) + -6. Let x = 5169/34 + r. Which is smaller: 3/5 or x?
x
Let m = -19 + 18.983. Let v = -47.983 + m. Let p = v - -47.9. Is -1 >= p?
False
Suppose 13*t = 22*t. Which is bigger: 10912 or t?
10912
Let g = 291 - -60. Let a = -1712 - -2064. Which is smaller: a or g?
g
Suppose 0 = -53*n + 61*n - 584. Suppose 5*o = n + 12. Is 129/7 equal to o?
False
Let k(u) = -u + 0*u**2 - u + u**2 + 2 - 7. Let y be k(3). Let w be 0/((-4)/(-8)*y). Is w bigger than 2/29?
False
Let w = 19570 - 39141/2. Which is greater: w or -62?
w
Suppose -3660 - 2496 = 6*w + 13*w. Which is smaller: -282 or w?
w
Let g = 3.951 - 4.151. Are g and -1/30 equal?
False
Let u be (-13)/2*((-5)/6 - 168/144). Which is smaller: u or 70?
u
Suppose -3*a = 12, -46*a + 5586 = -2*d - 47*a. Which is bigger: d or -2793?
d
Let r be ((-1988)/(-182) - 11) + (-854)/52. Suppose 2*n - 85 = 7*n. Are n and r unequal?
True
Suppose 0 = -61*w + 121*w - 27900. Which is bigger: w or 463?
w
Suppose -372*j = -346*j - 52. Which is greater: j or 137/70?
j
Let k = 27 + -49. Let v = 30 + k. Suppose -18*t + v = -22*t. Is t not equal to -1?
True
Suppose -19 = 5*w - n, -n + 2 = -2. Let u = -563 - -90. Let j = -16553/35 - u. Is j bigger than w?
True
Suppose 4*o - 14 = -2*s - 6, s = 4*o + 4. Suppose 0 = -s*z - f + 413, z = 5*z + 4*f - 404. Is 308/3 != z?
True
Let m be (12/(-10))/((-27)/4950). Let s = 1183 + -963. Is s > m?
False
Let p(s) = -3057*s + 1723. Let v be p(5). Which is smaller: -13563 or v?
-13563
Let j = 2396 - 3768. Is -1374 at most j?
True
Let v(r) = 16*r**2 + 91*r - 1146. Let j be v(12). Which is smaller: 2247 or j?
2247
Let d(p) = 3*p - 1. Let x be 1*4/6 - (-341)/33. Let z be d(x). Let n = z + -127/4. Which is bigger: -1 or n?
n
Suppose 0 = 2*t, 0*s - s + 3*t - 165 = 0. Is s at least -165?
True
Suppose 6*n = 8*n + 100. Suppose -3*j = -5*i - 229, 4*j + 127 = -4*i - 69. Let v = i - n. Which is smaller: 2 or v?
2
Let a = 18882 - 19344. Is a < -460?
True
Let r be (-89505)/(-68)*(-3)/18. Which is greater: r or -218?
-218
Let z be 6 + ((-75683751)/12623841 - 0). Let t = -1/10091 - z. Which is greater: t or 1?
1
Let z = 9951/25 + -399. Suppose 0 = 2*g + 2*g - 20, -22 = -3*x - 5*g. Which is greater: z or x?
z
Let j(l) = -5*l + 326. Let q be j(66). Let i be 3/(-1) - (-3 - 1). Suppose -t - i = 3. Is q at least t?
True
Let b(g) = -150*g - 1 - 26 - 10 - 33. Let y be b(-2). Which is greater: y or 229?
y
Let h(b) = b**2 + 11*b - 1683. Let r be h(35). Which is smaller: -93 or r?
-93
Let f = -2541 + 2201.1. Let u = f + 340. Let r = -0.2 + 0.6. Which is smaller: r or u?
u
Suppose -2*j = -a - 4 - 15, -4*a + 20 = 4*j. Suppose -j = f - 7, 4*f - 16 = -4*t. Does t = -3?
False
Let v(o) = 5100*o - 22. Let n be v(3). Let h = 6493147/425 - n. Is h < -1?
False
Let n be -6 + ((-134)/737 - (171/(-33) - 0)). Are 2/9365 and n equal?
False
Let r be (15/(-6))/(4/104). Let a = r - -69. Let i be 6/(-4)*10 + a. Do i and -10 have the same value?
False
Let c be 11/(33/12) + 1335/15. Which is smaller: 120 or c?
c
Let k = -21983/698 + -2/349. Suppose 0 = h + b - 33, 0*b - 2*b = -4. Let i = h + k. Which is smaller: i or -2?
-2
Let a = -15661/13 + 1206. Let t(z) = -2*z**2 + 4*z + 16. Let r be t(4). Is a > r?
True
Let n = 197 - 197. Let o be ((-1)/(-2))/(10/4). Which is bigger: n or o?
o
Let r be ((-131 - 23)/(-14))/(1/(-279)). Is r not equal to -3070?
True
Let n be -8*6/12*(-4)/16 + -2. Let k be 4/(-245)*20/(-168). Is n < k?
True
Suppose 5*d = 3*u + 19, 10 = -3*u + 3*d + 1. Let o = 1.3289 - 0.0289. Is o < u?
True
Suppose 9*b + 60 = -11*b. Let y be 8 - (1 - b) - (-26)/(-8). Is y >= 1?
False
Let r be (-128 - -104)*16/(-6). Let u be -5*((-48)/(-5))/(-2). Let h = u - r. Is -40 smaller than h?
False
Let f be (-1)/(1 - 4/(-22)). Let h = -177 - -172. Let l = -7 - h. Which is greater: f or l?
f
Suppose 0*d - 156 = -d. Let r = 53826 - 53670. Is d less than r?
False
Let x(d) = -155*d - 1171. Let z be x(-7). Is z equal to -86?
True
Suppose -6*b + 2*b + 3*j - 9 = 0, -4 = 4*j. Which is smaller: b or 574?
b
Let i be (-280)/1148*1344/(-20). Which is greater: i or 15?
i
Let o = 