l = 43 + -905.7. Let j = l + 855. Which is smaller: 0.1 or j?
j
Let f be (11 + 38724/60)*3/(-9). Which is greater: f or -218?
-218
Let s be 14680/(-11500) - 14/175. Is s != 0?
True
Let a = 7/810 - 547/810. Which is greater: a or 40/9?
40/9
Let n = -1785 - -1786. Which is bigger: -3.109 or n?
n
Let p(l) = -10*l - 13. Let t be p(-4). Let c = 29 - t. Suppose -5*j - 19 = -b, c*j + 33 = 4*b + 11. Does 0 = j?
False
Let g = -814/13 - -55339/884. Is 12 >= g?
True
Let r(c) = 3*c**2 + 25*c + 139. Let t be r(-11). Which is smaller: t or 236?
t
Let p be (-1790)/(-4675) - (-3 + (-31)/(-11)). Let x = 781/2380 + p. Let j = 3/4 - x. Is -1 equal to j?
False
Let z be (-3)/14*4*(-7304)/(-216). Let r = z - -192/7. Which is smaller: r or -3?
-3
Suppose 5*a + 3*s + 196 = 0, 24 - 174 = 4*a - s. Does -908/23 = a?
False
Suppose 3*g + 2*c = -c, -5*c = g. Let s = 452/45 - 7727/720. Which is smaller: s or g?
s
Suppose 2*r - 336 = -4*w, -w - 4*r = -9*r - 62. Suppose -4*s - 5*i + w = -84, 3*i = s - 33. Is 77/2 equal to s?
False
Let r = 309 - 208. Suppose 3*l + r = 5*o, o - 4*l - 4 = 23. Are o and 18 unequal?
True
Let p be ((-51)/15 - -3)/((-16)/(-24)). Let b = -9 + -3. Are p and b unequal?
True
Let f be (-1 - (-1545)/(-18))*(3 + -9). Let b = -575 + f. Which is greater: -4 or b?
-4
Suppose 9*o - 4*o = 485. Let z = -101 + o. Let s be -2 + z + 2 + 70. Is 66 at least s?
True
Let o be ((-30)/(-178))/(-5)*7100/(-75). Is o bigger than 2?
True
Let x(g) = g**2 + 11*g + 6. Let d be x(-6). Let a be d/(-10) - (-27)/45. Let f be (-16)/4 - a*3. Is -14 at most f?
True
Let j = -0.91 + 0.89. Let g = -0.09 - -1.17. Let m = g - j. Is m smaller than 1?
False
Suppose 0 + 3 = -s. Suppose -576 + 537 = -3*d. Suppose -d*m = -33*m. Which is smaller: s or m?
s
Let c(u) = 10*u + 130. Let f be c(0). Let q = f - 912/7. Which is bigger: q or 18?
18
Suppose -q + 2*z + 5 = -2*q, 0 = 4*z + 20. Suppose 3*n = -2*l - 13, -q*l - 4*n - 24 = -5*n. Let o = 0.3 + -0.23. Is l bigger than o?
False
Let b(h) = -7 - 7 - 5 + h**2 - 11 + 11*h. Let o be b(-10). Is o smaller than -40?
False
Suppose 1706*u = 1848*u - 142. Which is smaller: -10/263 or u?
-10/263
Let t be 782/2639 + (-4)/14. Let b(f) = -5*f**2 - 155*f + 1329. Let r be b(7). Which is smaller: t or r?
r
Let h be (252/35)/12*2655/3. Which is bigger: 2657/5 or h?
2657/5
Let f(l) = -l + 9. Let i be f(12). Let g = 28 - 141. Let m = -105 - g. Is m smaller than i?
False
Let p be 6*4/48*2. Is p equal to 550?
False
Suppose 65 = -x + 4*i + 240, -167 = -x - 4*i. Suppose 0 = -6*a + x + 57. Is a at most 0?
False
Let n = 1996/5 + -510. Which is smaller: n or -111?
-111
Let o be (-627)/(-171)*(-2)/((-10)/(-3)). Let r be (11/(22/(-6)))/((-6)/(-4)). Is o greater than r?
False
Let m = -108.4 + -146.8. Let x = -255 - m. Is x less than -0.02?
False
Suppose b + 5*y = 197, 21*b - 5*y - 763 = 17*b. Suppose -23*n + 1825 = b. Which is smaller: 496/7 or n?
496/7
Let i be ((-10)/15*6)/(-1). Suppose 18*p = 22*p + i. Let u = 1293/77 - 180/11. Is p at least u?
False
Let u = 35.1 - 24.1. Let r = -38 - -22. Let z = r - -15. Which is bigger: z or u?
u
Let s = -1590 - -1593. Let c = -6.92 - -7. Which is greater: s or c?
s
Let s = -53 - -53.07. Let k be (-3)/(-5) + (-11)/55. Which is smaller: k or s?
s
Suppose 13*y - 113*y = 233700. Are -2337 and y non-equal?
False
Let y be 8/(3*4/15). Let u = -8 + 12. Suppose -s + 1 = -0*s + 5*f, 0 = s - u*f - y. Which is smaller: s or -2?
-2
Let h(d) = 6*d - 1. Let a be h(1). Suppose 13597*t = 13621*t - 72. Is t < a?
True
Let z(w) = -77*w**2 - 6*w - 3. Let t be 120/270*(-2 - (-15)/(-6)). Let c be z(t). Is c greater than or equal to -297?
False
Let a = 351.4 + -351.5. Is -441 > a?
False
Let r(x) = -x**2 + 33*x - 132. Let c(j) = 2*j**3 + 54*j**2 - 2*j - 40. Let o be c(-27). Let f be r(o). Which is greater: 131 or f?
f
Let b(x) = -7*x + 167. Let n(i) = i - 4. Let m(u) = b(u) - 3*n(u). Let f be m(30). Is f at least -121?
True
Let s be ((6/9)/(-2))/((-221)/2886). Is s not equal to 3?
True
Let h = 13.04 - -8.25. Let g = 21.4 - h. Which is smaller: -1 or g?
-1
Let k be (1/15*-1)/(2614/12932765). Is -331 greater than or equal to k?
False
Let b = -14377 - -13768. Which is bigger: b or -603?
-603
Suppose -106*o + 111*o - 392 = 4*q, -5*o = 20. Is -103 at least as big as q?
True
Let v = 12395 - 9983. Do 2412 and v have different values?
False
Let n = 4660/14287 + -32/91. Which is greater: n or 0?
0
Let n be (-16)/12 - (-40)/12. Suppose 0 = 4*i + 4*p - 276, -n*i + i + 75 = 4*p. Let s be (-4)/((-4)/i)*-1. Are 0 and s equal?
False
Let t be ((-918)/1989)/((-2)/26) - (-77192)/(-12866). Which is greater: 1 or t?
1
Let g be 124/5 + 1/5. Let r = 205 - 200. Suppose 106 = 4*q - x, 0 = -5*q - 0*x - r*x + 120. Which is smaller: g or q?
g
Let r = 11249/16 + -704. Let l = -437/432 - r. Suppose -5*g - 5 = -0. Does g = l?
False
Let l be (3 - (-103729)/56) + 30/40. Suppose 2*b = 3*b - 1856. Let s = b - l. Are s and 1/4 nonequal?
True
Suppose 0*u - 6123 = -10*u - 3*u. Which is smaller: u or 470?
470
Let u = 0.10894 - 0.00894. Which is smaller: u or -222?
-222
Suppose 5*k + 828 = 51*k. Let x be ((-75)/(-40))/(6/56). Do k and x have the same value?
False
Let k = 1619/190 + 3/38. Let u(j) = -14*j - 19. Let l be u(-2). Which is smaller: k or l?
k
Let k = 415 - 12055/29. Let x = k + 2/87. Which is smaller: 0.19 or x?
x
Let y(f) = 35*f**2 - 7. Let w be y(4). Let z = w - 574. Which is bigger: z or -5?
-5
Let j = -52.42 + 51. Let w = j - -65.42. Let g = w + -64. Does g = 41?
False
Let n be (-1493)/298 + 4*55/44. Are 0 and n equal?
False
Suppose 0 = 2*l - 0*l - 30. Suppose -3*u = 2*n + 13, 4*n + l + 1 = -4*u. Let q be (22/2365*-5)/(-2). Which is smaller: n or q?
q
Let m be (-4)/370*184/16. Let x = -19744/185 - m. Let o = x - -107. Which is smaller: o or -5/3?
-5/3
Let n = -474 + 471. Let x be (n/(-4))/((45/(-72))/(-5)). Is 9 at least x?
True
Let k = -1671 + 1684. Suppose 3*a + 4 = -5*s, 2*a + 4*s - 2 + 6 = 0. Suppose 3*c - a*f = k, -4*c - f - f + 22 = 0. Is 3 equal to c?
False
Let b = -256 - -129. Let a = b + 126. Which is greater: 169 or a?
169
Let d = -3 - -4. Let x be (-3)/(-798)*10/(-15). Is d bigger than x?
True
Let g(w) = 500*w - 27. Let t be g(3). Is 1473 >= t?
True
Suppose 3*x = -3 - 0. Suppose 0 = -2*v - j, -7*v - 8 = -3*v - 2*j. Let z be (-6)/(-12)*(x - v). Is -1/2 bigger than z?
False
Suppose 0 = 5*a - a + 12, -2*a - 6 = -2*l. Suppose -9*b + 24 - 258 = l. Suppose 2*h + 3*h + 135 = 0. Which is smaller: h or b?
h
Suppose 6*m = 3*m - 5*y - 1474, 3*y = -m - 486. Let b = 498 + m. Which is smaller: -12/23 or b?
-12/23
Let j = -23076 - -23076. Is j greater than 40/1101?
False
Let d = -6 - -37. Let l(j) = -77*j - 337. Let q be l(-5). Suppose -51*f + q*f - k = -85, -4*f = k - 115. Which is bigger: f or d?
d
Let i = -57 + 42. Let p = -54 - i. Let g = -39.2 - p. Which is greater: g or -0.3?
g
Suppose 15592 = -2*a - 2*i, 79*i = 82*i + 6. Which is smaller: -7793 or a?
a
Let v be -3 - (0 + -1 - 3) - -4. Suppose -2 = 2*j - 5*h + 10, 0 = -j - v*h + 9. Does j = 117?
False
Let d(l) = l**3 - 137*l**2 - 711*l + 140. Let p be d(142). Suppose 0 = -3*c - s - 13, -3*c + 0*c = 2*s + 17. Which is smaller: p or c?
c
Suppose 4078 = -7997*f + 7996*f. Is -4079 at most f?
True
Suppose 15946 = 82*i + 14880. Let a be ((-7)/(-1))/((-1)/(-2)). Do a and i have the same value?
False
Suppose -3*r + 2*r = n - 3, 2*r - 3*n = 6. Suppose -r*h = 8*h + 176. Let v be (-2)/4*-15*-2. Which is smaller: h or v?
h
Let y = -0.052 - -9.052. Let g = -0.98 + 52.58. Let c = g + -52. Is c greater than y?
False
Let t = 62/53 + -133/159. Which is greater: 3710 or t?
3710
Let w be (-12)/21 - 3600/2030. Is 1/4 < w?
False
Let m(k) = -5*k + 102. Let n(z) = 2*z - 12. Let r be n(17). Let d be m(r). Is -8 at least as big as d?
True
Let a = 1/5880 - -3109/4768680. Which is bigger: a or 2/5?
2/5
Let s be ((-3584)/(-672))/(16/6). Do s and 2002 have the same value?
False
Let t = 51 + -39. Let f be (t - 6) + -6 + 1. Is f greater than or equal to -8/45?
True
Let u be (-11)/(-5) + 3/(-15). Suppose -u*j = 1 - 17. Let f = 5128 - 5121. Are f and j equal?
False
Suppose 1710 = -2*h + q, 2075 = -4*h + 3*q - 1349. Is h greater than -853?
False
Let j = -12674 - -12675. Which is smaller: 68/35 or j?
j
Let x be (-25)/(-6) - 4/24. Let p be (-1)/(-2) + (-10)/x - 6