2/5?
False
Suppose 24*z = 2*z + 7018. Let t = z + -319. Which is smaller: 6/25 or t?
t
Let i(x) = -41*x + 9. Let m be i(-14). Does m = 583?
True
Let o be -5*(-488)/(-1260) - 1*-2. Is o greater than or equal to 0?
True
Let g be 42928/(-32214) - (-1188)/891. Is 1 >= g?
True
Let u be 3/(-2)*(-3)/522. Let i be (-40630)/150 - (39/(-45) + 1). Let v = i + 272. Is u greater than v?
False
Let v(l) = -130*l**3 - l**2 - 16*l - 6. Let i be v(-3). Is i > 3546?
False
Let c = -0.454 - 5.266. Let a = 6.02 + c. Are 4/9 and a equal?
False
Let v = -198 - -202. Suppose 0 = 4*d + 40 - v. Which is bigger: -15/2 or d?
-15/2
Let i(o) = o + 16. Let d(n) = -3*n - 33. Suppose r - 3*r - 4 = -4*h, -2*h - 2 = r. Let v(f) = r*d(f) - 5*i(f). Let m be v(11). Which is smaller: m or -2?
m
Let l = -22565.76 + 22566. Which is greater: l or -255?
l
Let z = 40.13377 + -0.10377. Which is bigger: z or 0?
z
Let y = 3588 + -3583. Which is smaller: y or 51.5?
y
Let l = -3 - -1. Let d be l/16 - (-62)/(-16). Let f be -2 - (d + -9 - -1*4). Which is greater: 8 or f?
8
Let f = 5 - 4. Suppose 5*l = c + 13, -4 - f = -3*l + 2*c. Suppose -l*m + 7 = 1. Which is smaller: m or 4?
m
Let c = -50 - -36. Let m be (-6)/c - (-360)/(-7). Let v be (3 - m/6) + -2. Is 11 != v?
True
Let j = 8020 + -8423. Is j greater than -405?
True
Let k be ((-351)/3 - 2)/(-1). Let y = k - 129. Let h(w) = w**2 + w + 5. Let z be h(y). Which is smaller: 96 or z?
z
Suppose -134*r - 1158 = -362556. Is r != 2697?
False
Let a = -15 - -30. Suppose a = 2*q + 39. Suppose o + 3*o - 3*u + 32 = 0, -o + 4*u = -5. Which is bigger: o or q?
o
Let w be 360/27 - 156/12. Which is smaller: w or -45/2?
-45/2
Let q be ((-339)/2)/(159/(-106)). Which is smaller: q or 107?
107
Let x(g) = g**3 - 3*g**2 + g - 15. Let y be x(9). Suppose -3*j - 3*j = -y. Suppose -r - j = r. Are -39 and r equal?
False
Let g = -105 + 111. Let h be g/4 - 1107/(-18). Let u be h/120 + (-3)/24. Is 5/4 equal to u?
False
Suppose 0 = g + 3*h - h + 30, -3*g + 3*h = 81. Let u be -2 + (-64)/g + 4750/35. Is 136 < u?
False
Suppose -4*f + 15*s = 14*s + 4, 0 = -2*s. Let x = 0 + f. Which is bigger: 3/43 or x?
3/43
Let c(s) = -34*s - 425. Let x(y) = 12*y + 141. Let d(k) = 4*c(k) + 13*x(k). Let h be d(-4). Which is smaller: 582/11 or h?
582/11
Let n = 7926 + -7926.0617. Are 5/6 and n non-equal?
True
Suppose 0 = -10*d + 16*d + 90. Let r be d/(-25) - ((-124)/315 + 1). Is 1 bigger than r?
True
Let n = -0.07 + -364.93. Let b = -366 - n. Which is greater: 0.34 or b?
0.34
Let c be ((-122)/9150)/(2/(-50)). Let s = 30.51 - -0.49. Are s and c non-equal?
True
Let u(r) = r**3 - 14*r**2 + 12*r + 16. Let t be u(13). Suppose -4*d - 4*x + 10 = 34, x = -t*d - 8. Let h = 2/289 + 261/4046. Which is smaller: h or d?
d
Let r(k) = -9*k + 600. Let d be r(71). Which is greater: d or -500/13?
-500/13
Suppose 4*l = -l - p + 20, -5*p = -l + 4. Suppose -122*q - 6016 = -1258. Is q less than l?
True
Let q(k) = 2*k**3 - 11*k**2 + 5*k + 2. Let a(t) = t**2 + 22*t - 22. Let f be a(-23). Let z be (-120)/48*(-2)/f. Let w be q(z). Which is smaller: 28/9 or w?
w
Let l(n) = -n**3 + 83*n**2 - 11*n + 561. Let z be l(83). Is -350 bigger than z?
True
Let n(c) be the first derivative of 2*c**3/3 + 2*c**2 - 2*c - 307. Let q be n(0). Is -27/34 != q?
True
Suppose -2*o = 3*t + 83, 0*o = 5*t - 2*o + 133. Let v = t - -30. Suppose 5*y = v*d + 34, 2*d + 2*y + 30 = -2*y. Which is greater: d or -9?
-9
Suppose -369*m + 365*m = -2*d + 5624, 4*d + 4*m = 11284. Is d at least as big as 2819?
False
Suppose 0 = -3*r - 6, -30*y + 31*y - 5*r + 591 = 0. Let d = y + 774. Is d bigger than 170?
True
Let r = 1869 - 1868. Which is smaller: r or 2502?
r
Let n = -7081 + 7080.92. Which is smaller: -2/21 or n?
-2/21
Suppose 84*m + 108699 = 51*m - 115602. Which is smaller: m or -6798?
-6798
Let d = -259/5 + 5449/105. Is d greater than -34?
True
Let n = 5391 - 5594. Is -192 at most as big as n?
False
Suppose 4*x + 10*x + 660 = -6*x. Let t(y) = -y**2 - 4*y - 1. Let b be t(-4). Let a = b - -3. Which is smaller: x or a?
x
Let z be (256/14 - (-18)/(-63))*-7. Is z greater than or equal to -118?
False
Let l(o) = -6*o**3 + 2*o**2 + o - 4. Let f(t) = t**3 + t**2. Let d(b) = 2*f(b) - l(b). Let i be d(2). Suppose -69*k = -72*k + i. Is k > 3?
True
Let j be 46/8 + 7/(22 + 6). Suppose -2 = j*c - 80. Suppose -2*n = -w - c - 7, -3*w = 0. Which is smaller: n or 11?
n
Let c = -0.7 + 1.3. Let i = -119.77 - -119.67. Which is smaller: i or c?
i
Let t(m) = -12*m + 91. Suppose -30*r - 65 = 205. Let k be t(r). Which is smaller: 201 or k?
k
Let d(l) = -1149*l**2 - 4*l + 6. Let i be d(1). Is -1147 less than i?
False
Let r = -1822/285 - 4266061/17670. Let d = r + 495/2. Which is bigger: d or 0?
0
Let v = 432 + -494. Let z = -62.1 - v. Is z > 0.6?
False
Let z be ((-5)/(5/(-38)))/(6/24). Let o = z - 152. Let n = -190 - -2665/14. Which is smaller: n or o?
o
Let l = -0.16602 - -0.05602. Do l and 105 have the same value?
False
Let q(l) = 2*l**3 - 18*l**2 - 2*l + 21. Let g be q(9). Let z be g/(-5 - 658/(-133)). Let i(u) = 58*u**3 - u. Let h be i(-1). Is z bigger than h?
False
Let m = 32 + -30. Suppose 0 = -5*j + d + 4, 2 = 4*d - m. Let u = 38 - 20. Is j >= u?
False
Let l be 2/1 - (21288/42)/(-4). Let f = 129 - l. Is 30/11 >= f?
True
Let y(q) = 5*q + 4. Let h be y(-2). Let z(a) = -a**3 - 6*a**2 - a. Let j be z(h). Let r be (-3)/(-2) - ((-140)/32 + j). Is r != 6?
True
Let h be (-12)/(-20)*5 + 17. Let i be 158/22 + (-2 - h/(-11)). Suppose i*u + 8*u + 870 = 0. Which is smaller: u or -57?
u
Let j(h) = h**2 + 66*h + 1952. Let b be j(-45). Is b not equal to 1007?
False
Let c be (1/4 - 30/(-40))/(1 - 2). Let z be ((-2)/(-10))/((-78)/10). Are z and c non-equal?
True
Let p be 4739 + 0 + (16/(-28))/((-100)/350). Is p < 4740?
False
Let u be ((-27)/18)/(2/40). Let g be u/(-40)*(-8)/(-18). Let l = -1/68 - -73/340. Is l equal to g?
False
Let y = 1760 - 5279/3. Let g = 27 + -40.1. Which is smaller: g or y?
g
Let w be 168/(-252) + (-762)/(-9). Let m(b) = b**2 + 6*b + 3. Let z be m(-6). Suppose 5*f - 423 = -z. Are f and w nonequal?
False
Let n = 60 - 22. Let w = n + -35. Suppose -33 = w*q - 42. Is q < 5/2?
False
Let v = -1076 - -1076.1408. Is -2 < v?
True
Let d be 1/3 - 7568/33. Suppose 2*g - 11*q + 405 = 0, g + 2*q - 49 + 289 = 0. Is d greater than or equal to g?
True
Let w be (-72)/396 - (-444)/22. Suppose -72 = w*k - 26*k. Are k and 16 non-equal?
True
Let u(v) = 3*v**2 + 74*v - 7. Let z be u(-25). Let l(m) = 7*m - 138. Let k be l(z). Which is smaller: -13 or k?
-13
Let d(k) = -38*k + 152. Let o be d(4). Which is bigger: 2/407 or o?
2/407
Let x = -0.093 - -0.075. Let j = -86 + 0. Let w = 428/5 + j. Are w and x non-equal?
True
Suppose -2*r - 20 = 2*z, 12*r - 56 = 17*r + 3*z. Which is smaller: r or -84?
-84
Suppose 18*w - 17*w + 3*f = -8, 5*w = -4*f - 18. Is w greater than or equal to -35/26?
False
Suppose -19 = -7*j + 6*j. Suppose 4*x = 37 + j. Let n = -14 + x. Are 14 and n equal?
False
Let f(n) = 6*n**2 + 28*n + 15. Suppose 0 = u - 5*i - 21, -4*u - 8 = -7*u + 4*i. Let t be f(u). Is -1/1104 less than t?
False
Suppose 12*p - 11*p = -2*a + 2925, -8*a + 2*p = -11706. Which is bigger: a or 1461?
a
Let n be 3/1 + (8 - (-7497)/(-18)). Which is smaller: -407 or n?
-407
Suppose 0 = 7*k - 135 + 9. Let o = -19 + k. Let i be 91/(-308) - 3/(-12). Which is greater: i or o?
i
Let p(t) = 2*t**3 - 15*t**2 + 5*t + 26. Let u be p(7). Is 26 greater than or equal to u?
True
Let g = -665 + 378. Let n = g + 288. Which is smaller: n or 4/105?
4/105
Let y be (-2)/(-51*(-4)/48 + -4). Suppose -4*w = -62 - 22. Suppose 5*u = 8*u + w. Which is smaller: y or u?
y
Let h be 3/(6/263)*(-91)/(1183/(-156)). Which is greater: 1575 or h?
h
Let a be -4 - ((0 - (-1 - 0)) + -4). Let z be a/((-27)/(-15)) - (-10)/(-90). Is z < -41?
False
Let s be ((-2478)/(-85))/((-3)/(-15)). Which is smaller: s or 146?
s
Let i be 247/228 + 14/(-8). Which is bigger: i or 13324?
13324
Let u be (3 - (-19)/(-6))/9. Let a(h) be the third derivative of -5*h**4/24 - 4*h**3 + h**2 + 2. Let z be a(-5). Which is smaller: u or z?
u
Suppose 4725*h - 2*a = 4728*h + 783, -4*a - 546 = 2*h. Is -265 greater than or equal to h?
False
Let t(o) be the third derivative of 5*o**4/24 + o**2. Let v(q) = 14*q + 194. Let h be v(-14). Let f be t(h). Is f bigger than -3?
False
Suppose 0 =