 bigger: u or -1?
u
Let s = 8.0236 + -0.0236. Which is bigger: s or 4/77?
s
Let f = -549 - -865. Let b = -310.7 + f. Is 3 not equal to b?
True
Let m be (-11)/(44/(-32)) - (-4)/(-1). Let t be m/1*(-810)/(-40). Let k = -85 + t. Do k and -2 have the same value?
False
Let n(h) be the third derivative of h**4/24 + 26*h**2. Let f be n(-5). Let p = -0.23 - -0.3. Which is smaller: f or p?
f
Suppose -27*q + 175*q - 683612 = 0. Which is bigger: 2 or q?
q
Let y = 0.061 - -9.939. Let w = y + -100. Let o = -78 - w. Which is smaller: o or -3?
-3
Let b be (-20)/(-175)*(70/42 - 70/69). Is b equal to -1?
False
Let k = 171733/7032186 + -28/1139. Which is smaller: -1 or k?
-1
Let p = -277 - -281. Let m(r) = -r**2 + 3*r + 5. Let y be m(p). Which is smaller: 18/13 or y?
y
Let n = -2272.6 - -2272.8. Is 9387 smaller than n?
False
Let j = -13.017 + 13.217. Which is smaller: 490 or j?
j
Suppose -9 = 7*k - 800. Suppose -3*m = q + 35, -2*m + k = -3*q - 3*m. Let l = q - -37. Which is greater: -1/43 or l?
-1/43
Let l be ((-4)/2)/(2/(-4)). Suppose -4 = -l*o, -2 = -2*m - 3*o + 107. Suppose 7*v = 5018 - 4647. Is m less than v?
False
Suppose -2*u + 4988 + 468 = 2*w, -4*u = -w - 10922. Are u and 2727 non-equal?
True
Let n = -291 - -289. Let a be n + -2 - (-20)/70. Are a and -5 unequal?
True
Suppose -54*a + 30*a + 2744 = 13448. Do a and -450 have different values?
True
Let g(j) = 479*j + 31615. Let i be g(-66). Let y = 3949/3052 + -37/28. Is i bigger than y?
True
Let f(b) = 19*b - 201. Let n be f(12). Let j = 3 - 0. Suppose 48 + 33 = j*w. Is w bigger than n?
False
Suppose 2*t + 12 - 60 = k, -4*t + 88 = 2*k. Let q = 365557 + -2924453/8. Are t and q equal?
False
Let r(c) = c**3 + 7*c**2 + 383*c + 1881. Let x be r(-5). Let k be 2/(-3) - 1312/(-78). Is k at least x?
True
Let q be (2 + -2)/(-2 - -1). Suppose -b = -2*b + 5. Let z be (-5 - -4) + b - (-110)/(-28). Which is bigger: z or q?
z
Let x be (150/9)/25*(-1)/((-2)/(-12582)). Is x bigger than -4193?
False
Let t(x) = 123*x - 51. Let k be t(-3). Let d = -20579/49 - k. Which is bigger: 0 or d?
d
Suppose 0 = -3*w + 4*b + b - 38, -26 = 3*w - 2*b. Let y be (-22)/(3 + w - -1). Let c be (10/(-20)*(-1 + y))/(-1). Which is greater: c or 32/7?
c
Suppose -3*m + 3120*d - 3121*d = 92, -5*d = -m - 84. Suppose 0 = 2*l + 2*l + 140. Is m greater than l?
True
Let g = 20807/16 - 1258. Is 41 > g?
False
Let c be 0 + ((-4 + 5)/(-1) - -4). Suppose 0 = -10*m + c*m + 2051. Suppose -2*d - d + m = 5*i, 3*i - 3*d = 171. Do 57 and i have the same value?
False
Let x(h) = h**2 - 14*h + 118. Let v be x(10). Let p = v - 88. Are p and -31/3 nonequal?
True
Let r(f) = f**3 + 12*f**2 - 18*f + 35. Let s be r(-14). Let v be -12*(3 - -1)*35/s. Which is bigger: v or 14?
v
Suppose 7*y = -8401 + 3361. Are -720 and y equal?
True
Let d(c) = -c**3 + 7*c**2 - 6*c + 2. Suppose 210 = -5*p - 5. Let m = 49 + p. Let z be d(m). Is 2 at least as big as z?
True
Let t = 1437892/15 + -95913. Which is greater: t or -54?
t
Let f be -11 - (13 + -22) - 45/(-15). Let y = -1/8658 + 90919/86580. Is f > y?
False
Suppose 2*x - 64 = -5*n, 2*x + 1 = 5. Let c be 3*((-3)/4 + (-1482)/(-2808)). Is c at most n?
True
Let r(q) = q**3 - 16*q**2 + 21*q - 62. Let p be r(12). Let j = p - -1202/3. Is 16 less than j?
False
Let m = -155.4 - -143.4. Do m and -0.24 have the same value?
False
Suppose f - 405 = 5*p + 392, -5*f = 15. Let n = 0.2 - 0.1. Is p < n?
True
Suppose -67*o + 13*o - 1830 = 7*o. Let n be (-59 + -1)*3/6. Do o and n have the same value?
True
Let p(k) = 6*k - 4. Let l be p(3). Suppose 11*d + l = 4*d. Let g be ((-5)/(-15))/(d/(-3)). Which is smaller: g or 1?
g
Let v = 38 - 78. Let u = v + 23. Let j = 18.3 + u. Which is smaller: j or -0.1?
-0.1
Suppose p + 18 = -5*p. Let m be p/(-12) - 7/(-4). Suppose 0 = -m*d + 5*j - 27, 3*d + 0*j = 4*j - 23. Which is bigger: d or -1/43?
-1/43
Let c(z) = -z - 4. Let x be c(-4). Let b(o) = 25*o + 234. Let p be b(x). Is p != 233?
True
Let z = 44458756/2637383 - 2/376769. Let j(k) = -k**3 + k**2 + 16. Let r be j(0). Is z < r?
False
Let o = -7790/160293 - 10/1347. Which is bigger: 1 or o?
1
Let x = 99.299 + -0.299. Let r = x - 99. Is r <= 14/27?
True
Let f = -263073.6 - -263072. Let l = 0.22 + -0.07. Is l greater than or equal to f?
True
Suppose -5*a = 2*w + 2*w - 6, 3*a = -3*w + 3. Suppose 5*z + a*b + 0*b = 9, -7 = -5*z - b. Which is smaller: 3/47 or z?
3/47
Let y(l) = l**2 - 2*l + 18. Let o(j) be the first derivative of -j**3/3 + 5*j**2/2 - 4*j - 11. Let u be o(4). Let t be y(u). Which is smaller: t or 15?
15
Let o = 23.79 + -26.99. Which is smaller: o or 2.1?
o
Let z = -69001/8 - -8625. Is z less than 660?
True
Let w = 465 + -158. Let o = w + -2453/8. Is 2 less than o?
False
Let g = 27569 - 27570. Which is smaller: g or 31/271?
g
Suppose -7*w = -93 + 16. Suppose -q = -w*q + 3*q. Is q bigger than 3/19?
False
Let a = 849 + 723. Do 1572 and a have different values?
False
Let x = 83 + -25. Suppose 2*t + x = o - 36, o = 5*t + 94. Which is smaller: o or 1?
1
Let z(j) = -j - 1. Let y be z(-1). Let b be 9/(27/6) - (y + 2). Do b and -2/243 have the same value?
False
Let d = 28 - 50. Let w = d + 22.14. Let g be 16/(5 - 1) + 13/(-3). Is g bigger than w?
False
Let h be (-5)/10*2 + 26. Let t = -26 + h. Let m be (3 + -3)/(-1 + t). Which is smaller: -2 or m?
-2
Let d = 4193 - 2087. Suppose 4*h - d = -23*h. Is 77 greater than or equal to h?
False
Let w = 1/12 - 2/15. Let y = -2288 + 2286. Which is bigger: y or w?
w
Let r = 5 + -3. Let t = -106891 - -106683. Are t and r non-equal?
True
Let b = 13.7 + -12.7. Let g = -7.6 - -8. Let p = -0.34 + g. Do b and p have the same value?
False
Suppose 29*j + 170 = 34*j. Let a be 0 - 6 - (28 - j). Which is smaller: 2/67 or a?
a
Suppose 4*m = -3*s - 392, -3*m - s = 4*s + 305. Suppose -3*n - 208 = 71. Which is greater: n or m?
n
Suppose -166*q + 150 = -156*q. Suppose 3*d - 2 + 5 = 0. Let g = 16 - d. Which is smaller: q or g?
q
Suppose 0 = z - 246 - 12. Suppose -258 = -10*l - z. Does l = 0?
True
Let i = 9.674 + -21.574. Which is greater: -0.3 or i?
-0.3
Suppose -t + 40 = -3*m + 43, -5*m - 2*t - 6 = 0. Which is smaller: 1/21590 or m?
m
Let n = -72175/91 - -793. Is n <= 1?
True
Let t = -2 - 3. Let x be -350 - 6/(0 + -6). Let z = x - -344. Is z >= t?
True
Let n be (12 - 16) + (-1 - -5). Let y be ((-1)/63 - n)/((-146)/438). Which is smaller: y or -1?
-1
Let a = -30761 - -30117. Is a smaller than 0.5?
True
Let l be 243/6*(-12)/(-9). Suppose -551 = -8*y - 127. Is l smaller than y?
False
Suppose l = 4*r + 59, 0 = 5*r - 3*l + 118 - 39. Let d = r - -6. Let a be d/30*30/100. Is 0 not equal to a?
True
Let i = 619 - 784. Let b be (-44)/i*69/2*5. Which is greater: b or 52?
52
Let h(g) = 5*g + 3. Let l be h(0). Let m be l/(-21)*12/6. Which is smaller: 95 or m?
m
Let w = -161615 - -1784155/11. Let p = -581 + w. Which is smaller: p or 14/9?
p
Let f = -9333 - -9329. Which is smaller: f or 591?
f
Let i be (1 - 4)*(-12)/(-1104)*4. Suppose -19*a - 3 = -22*a. Which is smaller: a or i?
i
Let x(q) = 6*q + 5. Let k(j) = -j - 1. Let g(c) = 6*k(c) + 2*x(c). Let t be g(4). Let v be (1*(-2)/56)/(1469/11752). Is v equal to t?
False
Let m = 344 - 302. Let u be -24*(21/(-28))/((-45)/m). Which is bigger: u or -18?
u
Let u be (-1 - 0 - 3) + 4. Suppose t + u*o + 16 = -3*o, -23 = 3*t + 4*o. Let n be 224/451 - 18/33. Is n greater than or equal to t?
True
Let a(z) = -4*z**2 - 65*z + 61. Let x(y) = -y**2 - 16*y + 15. Let v(n) = -2*a(n) + 9*x(n). Let f be v(1). Which is smaller: f or -5?
-5
Let l = 5449006/9 - 606447. Let f = l - -999. Is -3 less than f?
True
Let k(t) be the third derivative of t**4/6 - 4*t**3 - 14*t**2. Let a be k(0). Let r be 24/(-1) - (3 + -4). Is r not equal to a?
True
Let t(j) = 2*j**2 - 5*j - 23. Let v be t(5). Let r be (-9 + v/1)*18/21. Let m = -11 + 4. Are r and m non-equal?
True
Let d(b) = -b**2 - 12*b + 19. Let x be d(-13). Let k be x/(-39) + (-54)/(-13). Let n be 6/k*(-6)/(-9) - 8. Is -50/7 > n?
False
Let i be (8/(-10) - -1) + 0. Suppose 33 - 93 = -6*u. Let z be (-59)/6 + u + 46/12. Is i smaller than z?
True
Let b be 2/6 - -4804*17/(-204). Let s be 10/(b/(-138)) + -1 + -2. Which is bigger: 0 or s?
s
Suppose 5*x - 357 = q, -20*q - 4*x = -24*q - 1572. Is -394 greater than q?
True
Let i be (-4)/8*(-3)/6140*4. Is i > 1?
False
Let o = 1.4 + -8.4. Let u = -0.