ppose 512*u - 518*u - 708 = 0. Which is smaller: u or -22?
u
Suppose 0 = 4*p + 7*p - 9*p. Let s be (-20)/(-92) + p - (-3)/(-15). Which is smaller: 0 or s?
0
Let u = 8627 + -8622. Is -4/9 less than u?
True
Suppose 12690 = 4*y + 2*y - 36*y. Which is smaller: -429 or y?
-429
Let m be -4*(557 + (6 - 6)). Let f = m + 24538/11. Which is smaller: -1/4 or f?
-1/4
Suppose j + 4 = 5*j. Let r be (-30)/(-20)*(-1 + -315). Let g be 1/(-6) - r/36. Which is bigger: j or g?
g
Let v = 2520/11 + -82785/352. Are v and -6 non-equal?
True
Let z = 288 + -283. Suppose -z*h - 5*o - 65 = 0, -5*h + h = o + 52. Which is smaller: -11 or h?
h
Let d be 2/(-4) + 1386/84. Let o(z) = -7*z. Let y be o(2). Let p = y - -32. Do d and p have different values?
True
Let n = 78.05 + -76.05. Is -109.7 greater than n?
False
Suppose 52*p + 53 - 8 = -7. Which is smaller: -28/337 or p?
p
Let w(p) = 15*p**2 - 327*p + 249. Let o be w(21). Let i = 5 - 7. Let v = -1 - i. Is v <= o?
False
Let d = 13713 - 13713.2. Which is greater: -2369 or d?
d
Suppose -554*j + 551*j + 66 = 0. Let k be ((-275)/j)/(5 + 1*-2). Which is smaller: k or -3/5?
k
Let v be (-6)/15 - 287/(-1230). Which is bigger: v or 25/6?
25/6
Let s = -333 + 218. Let k = -115 - s. Let c = 20.9 - -0.1. Are c and k unequal?
True
Let b be 11 + (11 - -254)*-1. Is b greater than -0.4?
False
Let l = 948 - -369. Let o = l + -5183/4. Which is smaller: o or 20?
20
Let h = -3411 + 3410. Which is greater: h or -1/949?
-1/949
Let z = -0.1268 + 87.5768. Let m = z - 82. Let v = m - 0.45. Is v equal to 9?
False
Let h be (-898)/(-14) - 5 - -7. Let o = h - 426/7. Is o > 5?
True
Let n = 58 - 48. Let c be (9/(-2))/(n/(-20)). Let d be c/(135/10)*-6. Is -6 smaller than d?
True
Let h(t) = 122*t - 799. Let s be h(7). Let z be -2*3/6 - -53. Which is smaller: s or z?
z
Let r = 26 + -520. Let j = r + 574. Are 79 and j nonequal?
True
Let t(p) = -226*p**3 - p**2 + 2*p. Let v be t(-2). Suppose k + v = -7*k. Let h be (-6*10/k)/(-2). Are h and 3/2 non-equal?
True
Let r = -3304.7 + 3102.7. Does r = -44?
False
Let g = 5 - -10. Let o be ((-6)/5)/(-6*(-4)/(-160)). Suppose -14*y + o = -g*y. Do y and -15 have different values?
True
Let c be (-6 + 335/10)*8/(-89). Let a = -73082/29637 - c. Is 1 bigger than a?
True
Let c = -751009/2630848 + 201/704. Which is smaller: -1 or c?
-1
Let z = -91.6 + -18.4. Let n = -110 - z. Which is greater: -17/4 or n?
n
Let a = -45573/2 + 21686. Let n = a - -21409/14. Let i = n - 427. Is 1/2 at most as big as i?
True
Suppose 4*m - 4 = 3*v + 28, 3*m = -2*v + 41. Suppose 12*g = m*g. Which is smaller: g or 4/61?
g
Let q(h) = -9*h + 251. Let w be q(-31). Is 530 > w?
False
Let g = -4 - -2. Suppose 48*j = 2178 - 184 + 454. Is j smaller than g?
False
Let g = -2928 + 2930. Is -248 bigger than g?
False
Let p be (14/4)/(1/(30 + -2)). Let o be 3*-2 - p/(-28). Which is greater: -4 or o?
o
Let t(b) = b**3 + 4*b**2 - 7. Let p be t(-3). Let z be p/(-5*(-2)/30). Suppose z = -3*m, 3*a = -3*m + m - 7. Which is greater: a or 3/61?
3/61
Let v = -89 - -92. Suppose 0 = 5*t + 4*o + 9, -t = v*o - 1 + 5. Let z = 46/5 + -49/5. Is t at most z?
True
Let a(s) = s**2 - 3*s. Let z be a(3). Suppose z = 7*t - 3*t - 8. Suppose t*p = 4*p - 3*q + 1, -p = -q. Which is bigger: 2/27 or p?
p
Suppose -35*x - w = -40*x + 3007, -2*x - 2*w + 1210 = 0. Let i = x - 602. Is i at least as big as -4/193?
True
Let l(k) = -6*k**3 + 12*k**2 + 2*k + 18. Let r(z) = z**3 - z**2 - z - 3. Let i(u) = l(u) + 5*r(u). Let g = 4 + 2. Let p be i(g). Which is smaller: p or 22?
p
Suppose 8*c - 190 = -2*c. Suppose 5 = 7*j + c. Let l be (-1320)/2832 + 1 + 1/j. Is -1 less than l?
True
Let q be -47 - (1 + (-1)/1). Let g = -38 - q. Let v(m) = m**3 - 8*m**2 - 10*m + 10. Let c be v(g). Is c < -2?
False
Let y = 1/5272 + -28833/124213592. Which is smaller: y or -1?
-1
Let j = -629 + 448. Which is greater: 0.04 or j?
0.04
Suppose 0 = -v - 2*o + 4, -4*o - 17 = -v + 5. Suppose -f + v = 5. Suppose 0*q - 23 = 3*c + 5*q, 5*q + 15 = f*c. Which is smaller: -1/10 or c?
c
Let t = 1752 + -1754. Is t > -62/37?
False
Let c = -681 - -810. Let x = 2/13 - -7/39. Which is smaller: x or c?
x
Let n = -431 + 430. Let j be n/((-1)/12*-190 - 4). Let t be (-2)/6 - (-1)/3. Which is greater: t or j?
t
Suppose 35*d - 1654 = 3351. Is 114 at least d?
False
Let g be (117/13 - 11) + 5244/2621. Is g less than or equal to 1?
True
Suppose 8*d - 4*d = 12. Let j be (-216365)/(-220) - (d/4 - 1). Let c = j - 985. Which is smaller: -2 or c?
-2
Let g = -48.168 + 1.068. Let j = 45 + g. Let f = -2.2 - j. Which is greater: f or 2.2?
2.2
Suppose 0 = 13364*t - 13337*t. Which is smaller: t or 4/1815?
t
Let u(j) = -6*j - 10. Let c be u(-3). Let d(m) = -m**3 + 6*m**2 + 8*m - 5. Let l be d(c). Let r = 75 + l. Which is smaller: r or 7?
r
Suppose -3*a - 375 = 3*f, -3*a + 2*f = -4*a - 127. Which is smaller: a or -101?
a
Let q = -1 + 1. Let j = -1019 + 1012.51. Let k = 6.94 + j. Is k <= q?
False
Let t be ((-16)/(-40) - (-1455032)/(-66230)) + 2. Let z = 722/37 + t. Which is greater: z or 1?
1
Let m = -26.76 - -28. Let c = m - -0.16. Let k = c + -0.4. Which is greater: -0.08 or k?
k
Let x be ((-2)/14)/((-13)/299). Let m = -9 - -17. Suppose -5*l + 7*a - m*a = -10, 0 = 4*l - 4*a - 32. Which is smaller: l or x?
l
Let f be (98/(-16) - -1) + 975/195. Suppose -5*x + 22 = 2. Suppose -x*w = 22 - 6, -2*w = p + 7. Which is smaller: p or f?
f
Let a be (-2 + 28/12)*(-3 + 86016/28693). Which is bigger: 1 or a?
1
Let n(a) = -2*a - 5*a + 10*a - 36. Let x be n(12). Let v = -303/2 + 1227/8. Which is smaller: x or v?
x
Let h(v) = 133*v**2 - v. Let j be h(-1). Let g = 135 - j. Let k be (-2)/61*1/2. Which is smaller: g or k?
k
Let c be 1*5/15*21. Suppose -3 = 3*q + 4*f - c*f, 0 = q + f - 3. Let y be (0 + q - -2)*4. Is y at least 13?
False
Let l be (4/(-68040) + 0)*-1178*(5 + -6). Let n be 1 - (-1 + (-980)/(-486)). Let f = n + l. Which is bigger: f or 0?
0
Let u = -94 + 184. Suppose -w - w = -u. Let r be 1 + 49 - 2/3*6. Is w at most r?
True
Let m(u) = 10*u**3 - 103*u**2 + 12*u + 52. Let q be m(11). Is 1033 equal to q?
False
Let k = 105 - 434. Is k bigger than 0.04?
False
Let m = 21790 - 196489/9. Which is bigger: -41 or m?
-41
Let l = -2/24587 + -4548581/172109. Suppose 5 = 3*d + 80. Which is smaller: l or d?
l
Let p = 36.9 + -39. Let m = 1.1 + p. Let b be 5/(45 - -5)*12. Which is smaller: m or b?
m
Suppose 0 = 4*d - 5*d - 1. Let f be 2 - (-33*1)/d. Let n be f/65 + 2/5. Which is smaller: n or 0?
n
Let w(y) = y**2 + 14*y + 30. Let h be w(-12). Suppose -16*k + h = -10*k. Which is smaller: k or 6/13?
6/13
Let r(y) = -11*y + 125. Let v be r(16). Let i be (-249)/v - 5 - (-53648)/833. Which is smaller: i or 64?
64
Let y be 1*2*19/19. Suppose 3*n = 4*q - 0*q - 100, 58 = 3*q + y*n. Let t = q - 16. Which is bigger: 7 or t?
7
Let h be (4 - 2) + 0 - (28 + -13 + -12). Is 2/4661 != h?
True
Let a = -5032 - 4058. Is -9090 greater than or equal to a?
True
Let d be -2 + -7046*(-4)/8*1. Which is smaller: d or 3522?
d
Let a = -15185 + 12380. Which is bigger: 1/2 or a?
1/2
Suppose -4*a = -23 + 15. Let h be (-3 - (-60)/18)/(a/54). Suppose 2*w + d - 27 = 4*d, 5*w = -2*d + 20. Which is smaller: w or h?
w
Let p = -6.367 - -0.067. Which is bigger: p or 0.6?
0.6
Let f(c) = 2*c**3 + 134*c**2 + 378*c + 34. Let h be f(-64). Are 423 and h unequal?
True
Let f = 78897 - 78862. Suppose x - 16 = -2*t, 89 = 5*x - 4*t - 5. Is x <= f?
True
Suppose 7000 = -17*a - 18*a. Let o = 206 + a. Is 5 at least o?
False
Let s be 6/(-9) - 35/(-120). Let x be -6 - ((-16)/(-136) - (-3188)/(-510)). Is s smaller than x?
True
Let k = 70.9 + -75. Let f = k - 63.9. Let z = 68.1 + f. Is z at least as big as -2?
True
Let j be (-198)/(-264) - (-1 + (-12439)/(-7228)). Let i = -12/139 - j. Let v be (-2)/(-3) + 4/12. Is v < i?
False
Let a be -2*(0 - 1/2). Let u = 27/272 + -1493/4080. Is u greater than or equal to a?
False
Let o(b) = 4 + 2 + 1 - 5 - 11*b. Let f be o(-2). Suppose -3*j - 60 - 46 = -5*i, -5*j - 31 = -2*i. Is i < f?
True
Let q be ((-74)/20)/(15346/38365). Let s be (2 - 0 - 1)/1. Let v be -2 - (5 + s + 1). Is q greater than v?
False
Let f be -1 + 5 - (-9 - -3). Suppose -2*w - f = s, 5*s + 3*w = -w - 20. Let j be 3*(-1)/6*s. Which is greater: -1/54 or j?
j
Suppose -30 + 15 = -5*q. Suppose 2*l + 4*d - 70 = 0, d = 2*l - q*l + 40. Let h be 