x = t + o. Is x at most 0?
True
Let p = -9031 + 9503. Do p and -0.06 have the same value?
False
Let k be 437/2946 + (-166)/996. Is k at least 1?
False
Let m be 3*(6149/(-33) + 0). Which is smaller: m or -561?
-561
Suppose -2*c - 11 = 5*s, 0 = -2*c - s - 2*s - 5. Suppose -4*x + c*k - 10 = 0, -x + 6*k + 2 = 7*k. Let n be (-5)/18 - 6/27. Is n smaller than x?
False
Suppose 1993 = l - 3*f, -32*l - 5*f = -34*l + 3982. Which is smaller: l or 1983?
l
Suppose 2*g + 26 = 4*b, 18 = -4*g + 6. Suppose 2*i - b*s - 29 = 0, -3*i - 1 = 3*s + 8. Let m be ((3 + -3)/(-5))/i. Which is smaller: m or 2/11?
m
Let p be ((-2)/7)/(810180/490). Is p less than -1?
False
Suppose 0 = 8*h + 6*h - 70. Suppose -h*j - 75 = -55. Which is greater: j or -33?
j
Let w(t) = 2*t**3 - 190*t**2 + 559*t - 522. Let g be w(92). Let v = 14 - -109. Which is smaller: v or g?
g
Let m = 2655 - 6667. Is m > -4011?
False
Suppose -43 = -d + 2*y, -2*d - 5*y = -31 - 64. Let n(i) = i**3 + 61*i**2 - 70*i - 450. Let w be n(-62). Is d greater than w?
False
Suppose 8*t = 4*t - 264. Let b be ((-2)/(-150))/(44/t). Suppose -336*y + 341*y - 5 = 0. Is y at most as big as b?
False
Let j = -0.046 - 0.043. Let k = -2.569 - j. Let q = -2.4 - k. Which is smaller: q or 0.3?
q
Let u = 804 - 536. Suppose -3*r - w + u = -r, 2*r = -2*w + 266. Which is greater: r or 136?
136
Let f = -11 + 5. Let k be 0 + -19 + (-2312)/374 + 4/22. Which is smaller: k or f?
k
Let c(d) = 6*d**2 + 60*d - 12. Let p be c(-11). Let z(x) = -29*x - 5. Let g be z(-2). Which is bigger: g or p?
p
Let s = -11775/64 + 184. Suppose -145*j - 3 = -142*j. Is s at most as big as j?
False
Let c = 35.2 + -385.2. Let s = -350 - c. Which is bigger: s or 127?
127
Let s = -349925/4 + 84397. Let d = s + 2990. Does d = -93?
False
Let b = -354 + 396. Let h be (3/b)/(1/4). Which is smaller: 49 or h?
h
Let s(h) = 2*h**2 - 3*h - 9. Let p be s(5). Suppose -2*d - 4*j = d - p, 3*j = 2*d - 6. Suppose d*m - 6 = -0*m. Which is smaller: -1/16 or m?
-1/16
Let b(i) = -3*i**3 - 7*i**2 + 36*i + 79. Let j be b(-4). Let k be (54/28)/(18/399). Let m = k - 43. Which is greater: m or j?
j
Let d(v) = 35*v**2 - 6*v. Let n be d(4). Let b = 313 - n. Is -224 equal to b?
False
Let o be (-3330)/(-32)*2/3. Let l be (3/370)/((-273156)/(-34145) - 8). Let c = o + l. Is 1 > c?
True
Let b(p) = -11*p + 48. Let r be b(2). Let i be r/(-3)*132/(-88). Which is smaller: 11 or i?
11
Let s be 5*((-50)/14 + 7*3/(-49)). Let n(q) = q**3 - q**2 - 19. Let a be n(0). Which is smaller: s or a?
s
Let t = 235 + -231.25. Let i = 2.81 - t. Which is greater: i or -2?
i
Suppose z = -3*l - 13, 0 = -3*z - 2*l - 0*l - 4. Suppose 0 = -5*s - 5*d - 45, -5*s - z*d + 22 = 64. Let j be (-80)/22*s/(-32). Which is greater: 0 or j?
0
Let d = -9851/1580154 + 2/9519. Which is smaller: 15/2 or d?
d
Let l be ((-2)/(-3))/(-3 + ((-2390)/330 - 8)). Is l greater than or equal to 0?
False
Let l be 240560/(-120) - (2/(-12))/(2/(-4)). Which is smaller: l or -2003?
l
Suppose -4*z - z - 4*v - 61 = 0, z + 4*v = -25. Let j be (-15)/(-6) - 50/20. Let o be j/(-3 + (6 - 2)). Is o >= z?
True
Suppose 5*d - 5*b + 2063 = 678, d = 3*b - 275. Let k = -282 - -3. Do d and k have different values?
True
Let g = 1760.5 - 1760.47. Which is smaller: g or -174.4?
-174.4
Let z = 8028/2655335 + 8/3517. Is z at least as big as 1?
False
Let w be ((-210)/(-60))/(28/6). Let o = -1 + 4. Which is greater: w or o?
o
Let l be 74 + 2556 - ((-6)/(-3) + -10). Is 2638 at least l?
True
Let z = 175 - 122. Let n = z + -53.037. Let m = 0.263 - n. Which is greater: 3 or m?
3
Suppose 93*k = -35*k + 9088. Are 506/7 and k nonequal?
True
Suppose 0 = s + 3*j - 55, 3*j - 57 = -s - j. Suppose 0 = -s*a + 26*a + 1656. Which is smaller: a or 496/7?
496/7
Let h = 199 - 206. Do -49/6 and h have the same value?
False
Let c be ((-8)/1)/(36/216). Suppose 35 = -l - 4*g, -4*l - 3*g + 2*g - 200 = 0. Which is bigger: c or l?
c
Let c be ((-15456)/69)/(7/(-2)). Suppose 2*h - 12 + 4 = 0. Suppose h*w - c = 60. Which is bigger: 32 or w?
32
Let v be (-1077)/51 - (-4)/34. Let d = -19 - v. Let x = 24 - 243/10. Are x and d non-equal?
True
Let y(x) = x**3 - 7*x - 1 - 3*x**2 - 4*x**2 + x**2 - 3. Let v be y(7). Do -6/11 and v have the same value?
False
Let j = -122282/35 + 3494. Let h(k) be the second derivative of k**5/20 - k**4/2 + k**3/2 + 5*k**2 - 28*k. Let f be h(5). Is f greater than j?
False
Suppose s + 5*z + 1242 = 0, 3*s + 37*z = 32*z - 3706. Is -1232 < s?
False
Suppose 0 = 5*z + 3*w + 2270, 8*z + 3*w = 13*z + 2240. Let q be z/89 + 1 + 28 + -24. Is -1 at least as big as q?
False
Let z be (152/(-133))/(-2) + (-200)/7. Let s = 42 + -71. Is s greater than z?
False
Let f be -2105*75/22551 + 7 - 0. Which is smaller: 1/2 or f?
f
Let o(f) = -11*f - 8. Let q be o(-4). Suppose q = 8*x - 4*x. Suppose 3*a + 2*l = 8 - 2, x = 3*l. Which is smaller: 5 or a?
a
Suppose 0 = -111*q + 119*q + 856. Is q < -108?
False
Let y be -2*3/(-18)*3. Let q(s) = 4*s**2 + 5*s - 16. Let b be q(-17). Let r be -1*(b/(-355) - (-2 - 1)). Which is smaller: r or y?
r
Let p = 404 + -382. Let f be (p - 24)*(-1 + 8). Which is smaller: f or -29/2?
-29/2
Let r = -15/4 + 7/2. Let y(h) = -4*h**2 + 29*h + 19. Let d(n) = 5*n**2 - 31*n - 20. Let b(l) = -5*d(l) - 6*y(l). Let o be b(-18). Which is greater: r or o?
o
Suppose -36 = -4*m - 4*j, 5*m - 34 = -j + 3. Let f be -3*m/21 + (-33)/(-39). Does 2/9 = f?
False
Let c(b) = 36*b - 6. Let h be 3/15 + (-16)/5. Let f be c(h). Let a = f + 6729/59. Are a and 1 non-equal?
True
Let m(r) = -2*r + 24. Let z be m(10). Suppose -2*c - z*c = 0. Suppose j - 4*i + 14 = -j, -3*i + 12 = c. Is j less than or equal to 6/11?
False
Let p = 3603 - 12625/4. Is p at least 447?
False
Let q = -1851 + 5272/3. Let u = -95 - q. Is 0 at most as big as u?
False
Let t be -2 - (-1 + -1 + -522) - 150/25. Which is bigger: 520 or t?
520
Let u be 1834/952 + (-10 - -8). Is u at least 0?
False
Suppose -2*a - 4*k - 2444 = 0, 3004 = 5*a - 3*k + 9205. Which is greater: a or -1240?
a
Let n = 578 + -1053. Let g = n + 795. Let c be 118/g + ((-20)/(-25))/(-2). Is 0 at most as big as c?
False
Let o(m) = 90*m - 10. Let b be o(-8). Let p = -858 + b. Let r = p + 11164/7. Is 8 < r?
False
Let y = 479/41071 - -2/613. Suppose 5*l + 25 = 2*h, 5*h - 2*l = l + 15. Which is greater: y or h?
y
Let x = 0.58 + -1.29. Let q = x - -55.71. Let b = 54 - q. Is b at least 30/13?
False
Let p be 1802/252 + (-581)/83. Is -1 < p?
True
Let u = -12/1909 - -1933/3818. Is u greater than -2?
True
Let d = 2110 + -1986. Is d bigger than 123?
True
Let s be -40 + 33 - (0 - 10). Let g be s/(43/(-86) - 86/8). Is -8 at most g?
True
Let q(u) = -3*u**2 - 16*u + 14. Let w be q(6). Let g be -6*(2 + w/92). Is 1 >= g?
True
Suppose 0 = -2*d + 4*d - 104. Suppose 9*k = 7*k - d. Suppose -3*q - 70 = -2*n, 4*q + 4*n - 14 = -134. Is k > q?
False
Suppose 18*l = 254*l + 40828. Suppose -193 = o - 5*u, -3*o + 3*u = -0*u + 531. Is l equal to o?
True
Let d(i) = 2*i**2 + 19*i - 66. Let a be d(-11). Let b be (0 - 684/(-8))/(a/(-4)). Is 9 smaller than b?
True
Let b = -38 - -41. Let l = b + -4. Let x = l + 9. Is -1 greater than x?
False
Let u(x) = -89*x**2 + 416*x + 5. Let j be u(5). Do j and 16 have the same value?
False
Let q be (18/5)/9 - (-2308)/(-5570). Let d = q + -24436/5013. Is -5 greater than d?
False
Let a(b) = 293*b**2 - 9*b - 17. Let k(d) = -98*d**2 + 3*d + 6. Let u(l) = -6*a(l) - 17*k(l). Let g be u(-1). Is -96 at least as big as g?
False
Suppose 36*i - 2312 = -2384. Which is greater: -196/157 or i?
-196/157
Let u = 11/1169 - 7423/416164. Is -1 at most u?
True
Let p be (15/(-366))/(5/4). Which is smaller: 56 or p?
p
Let w(m) = 4*m + 25. Suppose -4*d - d = 2*r - 41, -3*d + 39 = 3*r. Suppose -16*u = -14*u + r. Let z be w(u). Is 10 <= z?
False
Let p be (4996/42)/((24/288)/(1/2)). Does 714 = p?
False
Let y = -6135 + 6138. Let k = 0.9 - -0.3. Let r = k - 8.2. Is y at most as big as r?
False
Let m = 22/3243 - -767821/113505. Let f = m + -31/5. Suppose -3*p + 9 = 3. Is p != f?
True
Let g be ((-9)/6)/(-12*(-9 + 129381/14376)). Does g = -1796/3?
False
Let o = 1585276/279 - 5682. Which is smaller: o or -2/7?
-2/7
Suppose 5*c = k + 7, -c = k - 2*k - 3. Let l = 4851 + -1576576/325. Is l less than c?
True
Suppose 0 = -23*b + 1178 + 1306. Let d be b/14 + (7 + 1 - 11). Which is smaller: 4 or d?
4
Let t 