= 0. Which is greater: -25 or o?
-25
Let o be ((-4)/52)/((-1)/7). Suppose 2*g = v + 37, -4*g = -v + 2*v + 31. Let p = v - -37. Do p and o have the same value?
False
Let a = 129 - 128. Let t = 3 - a. Which is greater: 6 or t?
6
Suppose -i + 874 = 5*q, 2*i = -q + 853 + 913. Suppose -3*l = -5*j + i, 3*l + 105 + 254 = 2*j. Let u be (-1 - 1)*(j/(-63) + 3). Is 1 >= u?
True
Let a = -90 - -97. Let v(z) = -6*z - 5 + 9 - z + 2*z**2. Let n be v(a). Which is smaller: 54 or n?
n
Let g = -55/16492 - 1/2356. Let i = g + 202/665. Which is smaller: -8/5 or i?
-8/5
Let u = 1200.4852 - -0.5148. Is -3/2 greater than or equal to u?
False
Suppose -3*s = 125 - 95. Suppose -3*l - 51 = -3*i, -1 = -i + 2*l + 15. Suppose 44 = -4*v + 2*j, -7*j = -2*v - 4*j - i. Is v less than s?
True
Let v(w) = 8*w**2 - 3. Let p be v(-1). Let k = -30 - -15. Let z be -1 + p/(k/(-6)). Are z and -1/33 non-equal?
True
Suppose u + 4 = 0, a + 2*u = -a + 2. Suppose 15 = 5*q - 2*r, 2*q - r = -0*r + a. Suppose -v = -2*c - 2, 0 = -0*c + 5*c + q. Which is smaller: -6 or v?
-6
Let u(r) be the third derivative of -r**6/120 - 3*r**5/20 + 7*r**4/24 - 13*r**3/3 - 19*r**2. Let j be u(-10). Suppose b - 5 = -j. Is b < -1/18?
False
Let t be -27 - 2/4*0. Suppose -9*s + 93 = -2*s - 10*s. Which is smaller: t or s?
s
Let b(l) = l**3 + 8*l**2 - 7*l + 11. Let g be b(-8). Let c = g + -46. Let r = c + -20. Which is bigger: r or 4?
4
Let w = -0.3267 + 0.0807. Let d = -14.246 - w. Which is smaller: -23 or d?
-23
Let v = 5 - 0. Suppose 295 = -v*h + 5*a, -4*h + 0*h - 5*a - 209 = 0. Which is bigger: -55 or h?
-55
Let s be (0 - -2 - 4) + (-202821)/77. Let k = s + 2636. Is k < 0?
True
Let n(t) = 10*t**2 - 28*t + 48. Let b(z) = 6*z**2 - 14*z + 25. Let y(i) = 7*b(i) - 4*n(i). Let d be y(-8). Are d and -342 nonequal?
True
Let v(a) = 5*a + 28. Let r be v(-6). Let s(f) = 362*f**2 + 8*f. Let z be s(r). Let l be (-2)/8 - z/32. Is l bigger than -44?
False
Suppose -2 = -12*w - 38. Let n = 53 + -55. Let q(o) = -o**2 + 2*o + 5. Let i be q(n). Is w != i?
False
Let f be 0 + 12/7 - (-2)/7. Suppose 3*v = 6*s - 5*s, -4*v - 10 = f*s. Let y(o) = -4*o**2 + 21*o - 7. Let g be y(5). Is v at most as big as g?
False
Suppose 0 = 2*a + 5*o + 30, -a - 3*o + 5*o = 6. Let d = a + 16. Which is greater: 5 or d?
d
Let c = -216/163 + 1467394/1107585. Which is greater: 1 or c?
1
Let f(s) = -s**3 - 6*s**2 + 6*s - 8. Let b be f(-7). Let q be (-4)/14 + 368/112. Suppose 0 = 3*i + 5*w - w - 54, q*i = 3*w + 75. Do b and i have the same value?
False
Suppose -n = -17*x + 21*x - 19, -2*x = -6. Suppose -336 = 8*t - 376. Do n and t have the same value?
False
Suppose -l - 4 = p, -3*l + 2*p - 17 = 6*p. Let s be -1 + l - (-4)/(-4 + 0). Which is greater: s or -3/14?
-3/14
Let f = -2908738/191 + 15229. Is f at least as big as -2/11?
True
Let g = 60.8 - -6.2. Let y = g - 102. Let p = 35.1 + y. Which is greater: p or -7/9?
p
Let f = 6679/123 + -2240/41. Is -1777/2 < f?
True
Let y = 3732 - 3731. Which is smaller: y or 8/983?
8/983
Let m be (-3786)/((-46)/6*(-124 + 118)). Which is smaller: -81 or m?
m
Let c(x) = -x**3 - 2*x**2 + 2*x - 2. Let a(u) = -6*u + 38. Let m be a(6). Suppose -3*v = -3*d, -20 = -d + 4*d + m*v. Let q be c(d). Is q bigger than 19?
True
Let j = -2/327 + -181/109. Let r be ((-21)/(-12))/(2/24*-3). Let a be (r - 15/(-5)) + 1. Which is bigger: j or a?
j
Let h be ((-188)/(-20))/((66/10)/((-55)/110)). Which is bigger: h or 0?
0
Suppose -4*b + 18 = 2*b. Suppose -33 + 33 = -b*a. Let j = 2129 - 180967/85. Which is smaller: a or j?
j
Let w = 0 - -3. Let l = 0.143 - 20.643. Let g = 9.5 + l. Is g bigger than w?
False
Let d = -4.474 - -22.474. Is d greater than or equal to 1/3?
True
Let t = 124 - 130. Let u be 141/705 - 58/20*t. Do 18 and u have the same value?
False
Let o = 316 + -295. Let r be 4 + 146/(-14) - (-9)/o. Which is smaller: -55/8 or r?
-55/8
Suppose -2*u - 4*f = -6160, 2*f = 168 - 166. Which is smaller: u or 3079?
u
Suppose 9*d = 15*d + 222. Let s = -36 - d. Which is smaller: s or 10/11?
10/11
Suppose -301 + 250 = i + 3*c, -5*i + 4*c = 122. Let a be (-19)/(-2)*42/3. Suppose 8*o + 3*h = 3*o - a, -o - 2*h = 21. Is o greater than i?
True
Let m = -1817/16 + 172879/1520. Let d = m - -1/38. Suppose -8 = 11*f + 3. Is d less than f?
False
Let z be (25/834)/(171/(-27) + 6). Are 1 and z equal?
False
Let l = 21.87 - 21.77. Does -355/2 = l?
False
Let d(a) = 37*a + 36. Let v(s) = 38*s + 36. Let q(i) = 4*d(i) - 3*v(i). Let u be q(-15). Let p be ((-16)/(-24))/(u/9). Is 1 less than p?
False
Let y be (-1 - 3) + 2*(-119)/(-2). Let m = y + -112. Which is smaller: -53 or m?
-53
Let p = -9922/79597 - -4/959. Let c = p - -1136/8051. Which is bigger: -1 or c?
c
Let w be 1 + 1 + 8/(-14) + (-36)/84. Is w != -5/218?
True
Let f = 77190 - 1930511/25. Which is smaller: f or -31?
-31
Let p(x) = 13*x - 76. Let c be p(7). Let k(m) = 3*m - 47. Let q be k(c). Is q equal to -11/4?
False
Let p = -0.156 + -0.054. Let l = 0.34 + p. Let a = -122319 + 122318.8. Is l >= a?
True
Suppose -5*s + 1 + 114 = 0. Let y be (-1602)/(-162)*(-63)/(-28). Which is smaller: s or y?
y
Suppose -6*l - 29 = -8*l + 5*h, -4*l + 2*h + 2 = 0. Is -1764 bigger than l?
False
Let g = 0.187 - 22.387. Let r = g - -16.2. Do r and -2 have the same value?
False
Let b = -967 + 1103.9. Let f = b - 85.5. Which is smaller: 1 or f?
1
Let p = -11554 - -11555. Which is smaller: 5/2497 or p?
5/2497
Let n = -12655.58 + 12802. Let a = 144 - n. Let p = 0.58 - a. Is 26 at least as big as p?
True
Suppose -3*q = -0*q - 6*q + 15909. Is q smaller than 5303?
False
Suppose 0 = 5*z - 0*z - p - 1060, 0 = 5*p - 25. Let b(r) = -z*r - 3 - 5 + 219*r. Let m be b(-2). Is m at most -21?
False
Let z = 114 + -38. Suppose -5*n = 2*d - 31 + 104, -z = 4*d - 4*n. Let x be (5/(-10))/(52/d). Which is smaller: x or 0?
0
Let f(h) = h**3 - h**2 + 2*h + 1. Let t(m) = -2*m**3 + m**2 + 14*m + 2. Let z(l) = -f(l) - t(l). Let q be z(4). Which is smaller: q or -8?
-8
Suppose -1270*r = -1382*r - 29008. Is 12 at least r?
True
Let o = 3.5882 + -10.5882. Is 2635 smaller than o?
False
Let t be (93852/(-16) + 6)/(18/(-12)). Is t greater than or equal to 3907?
False
Let v be (0 - -1) + -1 + -4. Suppose 0 = -4*z - 3*k + 2*k + 357, -z - 2*k + 98 = 0. Suppose 48*h = 4*h - z. Are h and v equal?
False
Let c be (-3)/4 - 107590/(-143480). Is -1 < c?
True
Suppose -499 = 4*k - 3*d, -2*k - k = -3*d + 378. Let q = 7 + k. Which is smaller: -115 or q?
-115
Suppose 0 = -3*p + 62 - 47. Suppose p*t - b + 1140 = 0, -5*t + 456 = -7*t - 5*b. Which is greater: -229 or t?
t
Let b(v) = -v**3 + 18*v**2 + 7*v + 235. Let t be b(19). Which is bigger: -4/271 or t?
t
Let o be ((-10)/14214)/(29/(-516954)). Let u = o + -288/23. Which is greater: u or -1?
u
Let z = -90.1 + 83.05. Let y = z - -6.95. Which is bigger: -0.037 or y?
-0.037
Let u = -10051 - -10046. Which is greater: -375/58 or u?
u
Suppose 1 = -3*a + 2*t, -3162*a = -3161*a - t. Is -1/62172 greater than a?
True
Let w = -83389/5 - -16844. Let u = -180 + w. Do u and -1 have different values?
True
Let h be (11232/(-370))/13 - 18/(-15). Which is greater: h or -0.3?
-0.3
Suppose 3240 = 32*g - 22*g. Let q = g + -968/3. Is q at least 2/67?
True
Suppose -h - 15 = 4*h. Suppose -5*p + 5 = 5*s, 5*s - 4*p - 7 = -38. Let a be h/s*3 - -3. Is 4 greater than a?
False
Let p = 3133.8 - 3134. Which is smaller: p or 565?
p
Let n be (2/((-36)/28053))/((-3)/(-4)). Let q be 400/(-65) + 6 - n/(-13). Is -159 at most as big as q?
False
Let b be (-4)/(-66) + 4263/(-25872). Is 1 <= b?
False
Suppose 0 = 5*u - 3*d - d - 90, 37 = u + 3*d. Suppose 2*f - u = 3*q + f, -3*f - 38 = 4*q. Let y = -9 - q. Which is smaller: -15/14 or y?
-15/14
Let o(h) = 300*h + 193. Let d be o(-13). Is -3707 > d?
False
Let p = 263 - 273. Let k be 16*p/(-40) - 49. Are -7 and k non-equal?
True
Let r(l) = 4*l - 18. Let c be r(5). Suppose 5*z + 7 + 7 = -4*d, -d - c*z = 5. Is -3/17 less than d?
False
Let s be 759/(-4203) + (-19)/(-114). Which is bigger: -1 or s?
s
Let c = -4332 - -82306/19. Let v = -1009683/38 - -26569. Let y = c - v. Do y and 3 have different values?
True
Let y be 12*12/9 - 3. Suppose 4*d - 3*h = -0*d + y, 23 = 4*d - h. Let f be (8/d)/((-10)/80). Which is greater: -10 or f?
f
Let v = 90598/5 + -18120. Does v = -1157?
False
Let o be (-2 + 45/20)*(5 + -4)*-4. Is o <= -5/1052?
True
Let