d + 14127. Is d > -833?
True
Suppose 26 + 26 = 2*w. Let h be 42/(-20)*w/39. Let s = -14 - -13. Which is smaller: h or s?
h
Let a(r) = r**2 + 17*r + 7. Suppose -48 = 3*l - 3*c, 4*l - c - 4 + 77 = 0. Let z be a(l). Which is smaller: z or 44?
44
Let p be 39 + -36 + (-2)/(2/(-1)). Suppose 0 = 7*y + p - 109. Is y bigger than 1?
True
Let j = -88 - -88. Suppose -3 = -3*k - 4*l, j*k + 2*l = 4*k - 26. Suppose 2*p = -k*g + 8*g - 139, -3*p = g + 214. Which is bigger: -70 or p?
-70
Suppose -451 = -12*r - 91. Suppose 4*l - r = -26. Is 3/19 at least as big as l?
False
Suppose 2126 = -47*u + 6732. Which is bigger: 107 or u?
107
Let g(n) = n**2 + 10*n + 6. Let a be g(-7). Let b(o) = 3*o - 10. Let v be b(a). Which is smaller: v or -56?
-56
Let t = 7301 + -1044047/143. Is t equal to 0.21?
False
Let k = 47.76 - 53. Let d = k + 41.34. Let a = -36 + d. Which is smaller: -0.3 or a?
-0.3
Let s be (-5432)/924 - (-4)/(-6). Let j = -155/22 - s. Let u = 0.4 - 0.18. Is u smaller than j?
False
Let h(k) = 3*k**2 - 4*k + 3. Let w be h(2). Suppose -w*u = -8*u + 2. Let b be u*1 - (-13 + 17). Which is smaller: b or 2?
b
Let f(m) = -6*m**2 - 18*m - 22. Let n be f(19). Is n less than or equal to -2531?
False
Let f = 1 + -1. Let r be ((-27 - -33) + (-2265)/380)/(3/2). Is r bigger than f?
True
Suppose 0 = -3*p - 12, p = -5*n + 2 - 1. Let a be (-12)/210*(2 + (n - -2)). Which is bigger: 0.76 or a?
0.76
Let h = 955/1716 + -20/143. Are h and 1/2 equal?
False
Let k = -198355/31665357 - 1/24953. Is k > -1?
True
Suppose -42*t = -32*t - 45*t - 32095. Which is smaller: -914 or t?
t
Let g be (-2)/18*42/(-2). Let b = -160 + 162. Let a be 600/192 + b/(-16). Do a and g have different values?
True
Let q = -31513 - -31513. Is -11067 at least q?
False
Suppose 44*b - 9984 - 106 = 4606. Are 335 and b unequal?
True
Let a = -321 - -324.34. Let r = a + -0.34. Suppose -28*v + 26*v + 10 = 0. Which is greater: v or r?
v
Let h = -64.81 + 65. Let n = -70 + 70.1. Are h and n nonequal?
True
Let t be (2 - (-7 - -2)) + 29. Let w be t/703 - (-84)/(-798). Which is smaller: 1/5 or w?
w
Let t = -269/5 - -797/15. Which is bigger: 34/3 or t?
34/3
Let o = -22773.99 + 22498. Let k = o - -276. Let g = -18 - -28. Which is smaller: k or g?
k
Suppose 127033 = -27*g - 9155. Which is bigger: -5046 or g?
g
Let g be ((-54)/45)/(2/(-145)). Suppose -2*h + g = -3*x - 45, 3*x = 3*h - 192. Let o = 57 - h. Is 4 at least as big as o?
True
Let c be 15/18 + (-108776)/130872. Let u = c + 4/399. Is -1 not equal to u?
True
Let p(q) = -q**3 + 16*q**2 + 42*q - 662. Let m be p(16). Which is bigger: m or 14.3?
14.3
Let m be 896/252 - -2*1. Let q be ((-2)/(-351))/(4/(-3792)). Let b = m + q. Which is bigger: 0 or b?
b
Let p = 225 - 219.95. Let r = 170.95 + p. Is r smaller than -0.1?
False
Let p be 13/2 + 3/6. Let j = 8 - p. Let t = -515 + 32447/63. Is t bigger than j?
False
Let h(c) = 7*c - 2. Let p(m) = -2*m - 19. Let y be p(-10). Let w be h(y). Suppose -2*x + w*o - 21 = 0, 4*x + 5*o = -26 - 31. Which is smaller: x or -15?
-15
Let z be -7*2 + 210/12. Let y = 119 + -114. Is y greater than z?
True
Let v = -59.6 + 1.6. Let u be ((-1843)/76 + 24)*2. Are u and v equal?
False
Let q(f) = f**3 - 5*f**2 - 10*f + 31. Let v be q(6). Let x be (8 - v)/(-1 - (-16)/9). Is x at least 2/5?
True
Let y(g) = 39*g + 233. Let b be y(-6). Let i be 3/(-9)*-3 - -2. Suppose 2*t = i*w + 8, -12 = 2*w + 3*w - 2*t. Is b greater than w?
True
Let v(u) = 37*u - 23. Let n(t) = -t**3 + 10*t**2 + 14*t - 31. Let b be n(11). Let r be v(b). Is r at least 207/4?
False
Suppose -2*n - 5*j = -6*n + 6 - 2, 0 = -4*j. Let h = 1481548/357 + -4150. Which is smaller: h or n?
h
Let t(p) = p**3 - 25*p**2 + 23*p + 22. Let a(v) = 3*v - 49. Let g be a(17). Suppose 0*w = -w - 4, -80 = -3*h + g*w. Let l be t(h). Which is smaller: -1 or l?
l
Let q = 934 + -939. Let n = 0 + 0. Let x be q/(165/1)*(n - 2). Is -1 smaller than x?
True
Let z = 25.273 + -0.273. Let i = -30 + z. Which is bigger: i or 8?
8
Let k be (6 - 5)/(2/6). Let a be k - (10 - 4) - -4. Let b = 47426/47 - 1009. Is b != a?
True
Let a be (28/24*-3)/((-2)/4). Suppose 0 = -a*s - 535 + 1739. Do -1 and s have different values?
True
Let j = 30 + -27. Suppose m = 3*i - 0*m, 3*i + 2*m = 0. Suppose 7*z + j - 10 = i. Is z less than 1/91?
False
Let j = -20720 - -16429. Which is smaller: -4289 or j?
j
Let u be 39 + -29 + (-756)/78. Is u at least as big as 26?
False
Let g be (-727320)/(-3465) - 2/(-21). Do 1056/5 and g have the same value?
False
Let z be (-2 - -76)*(-5 + 10)/10. Is z equal to -23?
False
Let z = 40010 - 160039/4. Let c = -7.46 - 1.24. Is c less than or equal to z?
True
Let u(o) = -6*o + 105. Let p be u(12). Is 13 at most as big as p?
True
Suppose 2*f = 5*u + 27, -19*u + 16*u = 3*f + 12. Which is bigger: 13/315 or f?
f
Let m = -47 + 21. Let j = -20 - m. Let o = -6.5 + 3.5. Is j < o?
False
Let z(w) = -25*w**3 + 85*w**3 - 3*w - 27*w**3 + 2 + 5*w**2 - 32*w**3. Let i be z(-6). Is i equal to -14?
False
Let a be ((400/(-5))/4)/((-1)/11). Let b be (-13)/(312/a) + -6. Which is greater: b or -14?
-14
Let p be -4*91/(-52)*1. Which is smaller: 310/41 or p?
p
Suppose 3*l = 18 + 21. Let b = l + -11. Let a = 43/36 + -4/9. Which is smaller: b or a?
a
Let i = 707473/9 - 77853. Is i bigger than 755?
True
Let f = 6099 - 6327. Is -1 less than or equal to f?
False
Let m be 3 + -1*(5 + -9 - -2). Suppose 2*v = -8, 0 = 8*y - 6*y - m*v + 198. Which is smaller: y or -110?
-110
Let c = 8.12 + -8.2. Which is bigger: -2.24 or c?
c
Let u(p) = -1637*p - 14734. Let y be u(-9). Is y smaller than 8/7449?
True
Let f = -55 - -64. Let u(t) = 3*t**2 - 29*t - 13. Let l be u(f). Which is smaller: l or -29?
l
Let r(m) = -2*m - 1853. Let f be r(12). Which is smaller: -1879 or f?
-1879
Let d = -119 - -618. Let z = 498.91 - d. Which is greater: z or 8?
8
Suppose -x - 4*x + 4*q - 186 = 0, -x - 18 = 4*q. Let y = x - -38. Suppose 2*l + c - 6 = 0, -15 = -5*l + 3*c - 8*c. Is y less than l?
False
Let l = 150 + -2958. Let b be 32751/l - 2/(-16). Is b bigger than -12?
True
Let f be (-8 + 35 - -6) + (-14 - -5). Are f and 74 non-equal?
True
Let v(x) = -x**2 - 50*x - 49. Let k be v(-1). Which is smaller: k or -12.48?
-12.48
Let y be 24 + ((-97)/679 - 50/(-7)). Suppose -52 = 5*o - 137. Let g = o + 15. Does y = g?
False
Let p = 14526 + -2309612/159. Are -1 and p equal?
False
Let r(c) = c + 7. Let x = 139 + -127. Let t be r(x). Which is smaller: t or 18?
18
Let v be ((-24)/(-40))/(((-65)/(-300))/13). Suppose -k - 4*k = -o - 17, 2*k = 5*o + 16. Suppose 0 = k*f - f - 74. Which is bigger: v or f?
f
Let n = -1.5 + 0.5. Let x = 139.942 + 16.448. Let s = x - 156. Are s and n nonequal?
True
Let s be 12/(-21)*(-2)/4. Let n = -0.364 - -0.35. Let c = 16.986 - n. Which is smaller: s or c?
s
Let b = 205254 + -18678341/91. Let t = b - -38/13. Suppose -7 - 5 = -3*i - 9*i. Is i greater than or equal to t?
True
Let l = 12 - 9. Let v be (-215)/(-3) - (-20)/60. Suppose 3*x - v = -l*x. Is x < 13?
True
Suppose -2*s = 4*g - 550, 1011 = 3*s - 2*g + 138. Is s less than or equal to 285?
False
Let d = -7476 - -7936. Which is greater: 3224/7 or d?
3224/7
Suppose 7*p - 2*r + 10 = 105, 4*r = 2*p - 34. Let c be 6*-3*(-2)/12. Let y be c/((-3)/(-13)) + -2. Is p less than or equal to y?
False
Let c = 101 - 101.98. Let t = 0.02 - c. Let v = 142.9 + -142.867. Does v = t?
False
Suppose z - 34 + 30 = 0. Let w be (7 - 6)/((-42)/z). Let k be 0/(3/(6/2)). Is w greater than k?
False
Let q = -6 + 3. Let r(u) = -3*u + 26. Let v be r(11). Let s = -10 - v. Is s smaller than q?
False
Suppose 0 = 3*d - 3, -4*y + d = -0*y - 19. Let w be -3*(-1)/(6/y - 1). Let o be w/(-6)*(-24)/20 - 2. Is -2/13 at least as big as o?
False
Let b be 1/(4 + 11055/(-2761)). Suppose 0 = -4*c + 3*c + 5*v - 235, v = 2*c + 497. Is b > c?
False
Let j = -793.5 + 796.5. Let t = 23.9 - 22. Let r = -2 + t. Which is smaller: r or j?
r
Let x(q) = -q**2 - 44*q - 80. Let m be x(-42). Which is bigger: m or -6/43?
m
Let q = 1067/98651 - 2/829. Let b(t) = -t**3 + 13*t**2 - 9*t + 21. Let h be b(12). Let x = h - 57. Is q != x?
True
Suppose 5*x + 8*i - 3*i = 2630, 9 = 3*i. Suppose 4*c - 4*f - 15 = -x, -c - 118 = -4*f. Which is smaller: -131 or c?
-131
Let l = -296 + 226. Let x be (5*5/125)/(21/l). Do 0.4 and x have different values?
True
Suppose -2*f = -12, 555 = -6*n - 2*