 x?
0
Let s = -0.367 + -0.023. Let y = 1.072 - 0.072. Is y > s?
True
Suppose -107 = -3*a - 2*o, 6*a - 53 = 5*a - 5*o. Let k = -33 + a. Which is smaller: k or -1?
-1
Let z(f) = f**3 - f**2 - 3*f + 3. Let m be z(3). Let r = 16 + m. Let c be (-132)/(-70) + (-8)/r. Which is bigger: 2 or c?
2
Let i be (30/(-18))/((-19)/(-3)). Is 0 at most i?
False
Let r = 366 - 362. Do -123 and r have the same value?
False
Let n(s) = 2*s - 4. Let j(z) = -z**3 + 2*z**2 + 3*z. Let p be j(-2). Let b(f) = f - 2. Let y(o) = p*b(o) - 4*n(o). Let w be y(5). Does w = 5?
False
Suppose 15*h - 6*h = 0. Suppose 2*v - 2 = 4*v. Which is bigger: v or h?
h
Let w = 1.1 + 6.9. Let s = -899 + 902. Is w at least s?
True
Let d = -346/3 + 3116/27. Let c be 6*3/(-24)*12. Let k = -9 - c. Which is greater: d or k?
d
Suppose -5*c = -2*n - 1, -20 = 3*n - 2*n + 4*c. Let h(m) be the first derivative of -m**3/3 - 5*m**2 - 9*m + 109. Let u be h(n). Are 6 and u nonequal?
True
Let f(v) = 2*v**2 + 17*v - 1. Suppose -j - 15 + 6 = 0. Let q be f(j). Let k = -11 - -19. Is k bigger than q?
False
Let b(x) = -x**3 + 6*x**2 - 6*x + 6. Let u be b(5). Suppose -255 = -6*t + 11*t. Let s = t - -305/6. Is u smaller than s?
False
Let a = -4.93 - -8.93. Which is smaller: -13 or a?
-13
Let v(l) = 3*l**2 + l**3 - 2*l**2 + l + 1 - 5*l**2 + 9*l**2. Let k be v(-4). Suppose -2*t + 31 - 7 = 0. Is k less than or equal to t?
False
Let j = -12 + 5.08. Let l = j + -0.08. Let x = 1569.8 + -1570. Is x equal to l?
False
Let p be (-6*1/2)/(-1). Let s be ((-20)/16 - p)/(4/(-16)). Which is greater: 14 or s?
s
Let r = 0.0378 - 1.7378. Which is greater: 0 or r?
0
Let x = 1357 - 1356. Let l = 228/9317 - 123954767/437899. Let p = 283 + l. Which is greater: p or x?
x
Let t = -113 - -118. Let y be 7/(-35)*t/8. Which is smaller: 1/4 or y?
y
Let v = 4635 - 227127/49. Is 1 greater than or equal to v?
True
Suppose -12*q + 158 = -10*q. Let d = 244/3 - q. Is d < 1/3?
False
Let s = 73.156 - 73. Let f = s - 0.056. Is 21 at least as big as f?
True
Suppose 5*q - 24 = -3*i + 4, -i + 21 = 4*q. Let y be -2*1/(-25)*1. Which is smaller: i or y?
y
Let a(k) = k**2 - 44. Let n be a(-8). Which is smaller: n or 16?
16
Let q = 4669/11 + -23343/55. Suppose c = -2*c. Suppose c*p = -4*p. Is q less than p?
False
Suppose -3*y = -55 - 62. Let l be (1 - 2)*17/((-34)/78). Is l equal to y?
True
Suppose 0 = -13*v + 82 + 2050. Does v = 163?
False
Suppose 0 = -0*r - 3*r + 12. Suppose -r*p = -2*p. Suppose -31 + 32 = a. Which is smaller: a or p?
p
Let x = -1.94 - 10.06. Which is smaller: -0.02 or x?
x
Let k = 165 - 164. Does -2/563 = k?
False
Let d be (4/(-6))/(2/(-6)). Let j be ((-4)/(-7))/(d + -4). Which is greater: j or 0.7?
0.7
Let o = -28 - -24. Let v = o + 0.9. Let a = v + 6.1. Is 2/9 >= a?
False
Let c(p) = p**2 - 58. Let n be c(7). Which is bigger: -14 or n?
n
Suppose 2*d - 2*l + 94 = 0, -2*l = -4*d - 0*l - 194. Is d >= -50?
True
Suppose 10*z - 51 - 49 = 0. Let h be 42/9*(1 + 5/z). Is h less than or equal to 8?
True
Let j be 640/12 - 1/3. Let d = j + -52. Is d greater than or equal to 2/85?
True
Let k(y) = -y**2 + 3. Let i be k(-1). Suppose i*t - 3*t = 5. Which is smaller: t or -24/5?
t
Suppose 2*f - 3*b = -29, -10 = f - 3*b + 3. Let d be 3/(1/f*-6). Let l be (-63)/(-12)*d/36. Is l bigger than 2?
False
Let s be (-1692)/(-24)*(-4)/(-6). Let o = s - -1. Let z = o + -239/5. Is z != -1?
True
Let b(j) = 10*j + 164. Let v be b(-41). Do -246 and v have different values?
False
Suppose 1728 = -44*f - 912. Is -4 not equal to f?
True
Let c = -3 + 8. Suppose -8 = -2*s - 4. Suppose -4*m - 12 = -s*d, 4*d + 2 = -c*m - 13. Is m less than or equal to -3?
True
Let b = 25.3 - 29.3. Let y = 3 + -1. Let n = y - b. Is n not equal to -1?
True
Suppose -6*l = -30, 3*l - 5*l + 850 = -3*z. Which is smaller: -281 or z?
-281
Let x(h) be the second derivative of h**4/12 + h**3/2 - 2*h**2 - 3*h. Let l = -2 + -2. Let b be x(l). Which is smaller: b or -3/2?
-3/2
Let c be 1 - (-2 - (-424)/142). Let n = c - -495/142. Suppose -26*x - 24 = -32*x. Are x and n unequal?
True
Suppose 4*t - 3*j - j = 132, 4*j - 148 = -4*t. Which is greater: 36 or t?
36
Let k be (-4 - -750)/(-2)*(6 + -7). Which is greater: k or 374?
374
Let p = -14 - -14. Let u = 0.04 + -2.04. Do p and u have the same value?
False
Let f = -5 + 11. Let u = 173 - 173.2. Which is smaller: u or f?
u
Let l be (48/27 - 2) + 190/180. Which is smaller: 0 or l?
0
Let x = -1.68 - 1.92. Which is greater: 2/7 or x?
2/7
Suppose 4*h - 19 = -79. Let x be ((-476)/(-159) - 3)/(5/h). Is x bigger than -1?
True
Let h be ((-50)/(-8) + 6)*8. Do 96 and h have the same value?
False
Suppose -5*z + 7*z - 752 = 0. Let q be z/48 - 2/(-12). Suppose -2*m - 8 = -3*m. Is q at least m?
True
Let b = 86268/557279 + 1/7849. Is b not equal to -1?
True
Let r be (-9 - -5)/(-4)*2/(-2). Is -3 at most as big as r?
True
Let l = -389 - -390. Which is smaller: 16/7 or l?
l
Let t be ((-3)/2)/(6/(-20)). Suppose -3*z - 3*l + 15 = 0, -3*l = -0*z - z - 3. Which is bigger: z or t?
t
Suppose 33*z - 237 - 93 = 0. Do 6 and z have the same value?
False
Let t = 140 + -82. Let l be t - 1 - (18 + -17). Suppose 10*g = 6*g + l. Are -0.1 and g equal?
False
Let r(z) = 3*z**3 + z**3 - 3*z**3 - 5*z**2 + 2 + 11*z**2 - 8*z. Let a be r(-7). Which is bigger: a or 10?
10
Let z = 0.001 - -2.699. Let r = -0.085 + 0.085. Is z at least r?
True
Let i be 3/(-12)*-2*4. Suppose 3*p = 3*s - 36, 0 = -4*p - 4*s - i - 6. Let n be 16/p - (-10)/35. Which is bigger: 2 or n?
2
Let n = 1.986 + -394.986. Is n equal to 1?
False
Suppose -16*t - 110 = 6*t. Which is greater: -79 or t?
t
Let y(m) = -5*m - 71. Let v be (-2)/1 - 0 - 12. Let q be y(v). Which is smaller: -8/15 or q?
q
Let w = 15 - 13. Let q be w/6 - 1190/(-30). Let t be q/(-50) - (-8)/(-10). Does t = -2?
False
Let v = -5 + 4. Let z = 12/151 - 851/1208. Is v less than or equal to z?
True
Let q = 2/16201 - 1976564/340221. Which is greater: q or -5?
-5
Let c be -102 - (-1 - (-5 - -1)). Let u = -103 - c. Suppose -5*k + k = -5*g - 14, 2*k - 3*g - 8 = 0. Which is smaller: u or k?
k
Let a(u) = u + 5. Let s be a(-4). Suppose 0 = -2*c + 2*n + n - 27, 0 = 2*c + 3*n + 45. Let q = -13 - c. Do s and q have the same value?
False
Let n = -0.1523 + -0.0477. Is 3.5 equal to n?
False
Let x = 10388619/13 + -799946. Let m = 821 + x. Is -3 less than m?
True
Let o be 2/2 - 6729877/100. Let j = -67296 - o. Let v = 1/50 - j. Which is greater: v or -1?
-1
Let o be 2*4/(-24)*(51 + -21). Is -101/10 at least o?
False
Let z be (3/8*-2)/(19/76). Which is smaller: z or -2?
z
Let u = 4 - -3. Let y = u + -19. Let s be (1 + -6)*y/15. Are 4 and s nonequal?
False
Let t be (-463)/6 + ((-158)/(-12) - 13). Is -6 greater than t?
True
Let y = 3091/740 - 186/37. Is -1 not equal to y?
True
Let n = 6969/8 + -871. Is n at least as big as -26?
True
Let i(h) be the third derivative of -h**6/60 + h**5/60 + h**4/8 - h**3/3 - 5*h**2. Let f be i(-3). Suppose 5*z + f - 2 = 0. Do -10 and z have the same value?
True
Let g(r) = r + 6. Let i be g(-3). Suppose i*k - 4 = 7*k. Let t be (-1)/(-2)*k/(-2). Which is greater: t or 8?
8
Let z = 0 + -4. Suppose -4*u - 12 = -0. Is u at least z?
True
Let r(h) = 90*h**3 - 3*h**2 + h + 2. Let c be r(1). Suppose -4*w = 70 - c. Is 1 > w?
False
Let v(k) = -k + 18. Let s be v(-6). Suppose -4*w = -0*w + s. Is -5 != w?
True
Let i be (-28)/7 - (-2 - 1). Suppose -2*g - 3*g - 650 = 0. Let o = 1043/8 + g. Which is smaller: i or o?
i
Let o(q) = -q**2 + 7*q - 7. Suppose -5*a + 75 = -3*b, -a - 3*a = -4*b - 60. Let d be (1/2)/(a/180). Let u be o(d). Is u greater than or equal to 0?
False
Let v(y) = -y**2 + 9*y + 20. Let t be v(11). Which is bigger: t or -3/4?
-3/4
Let j = 101 + -70. Let s = -32 + j. Is -1/15 > s?
True
Let m = 3969071/641 + -6192. Is 1 < m?
False
Let l = -0.05547 - 9.99553. Let f = l - -0.051. Is -0.1 >= f?
True
Let x = 25 + -5. Let c be 2/8 - 5/x. Suppose c*k - 11 = 4*y - k, -29 = y + 5*k. Which is bigger: y or -2?
-2
Suppose -3*p + 10 = 4. Suppose -35 + 13 = p*j. Let u = j - -18. Is u at least as big as 7?
True
Suppose 12 = 10*v - 6*v. Suppose v = -q - 21. Let d = -19 - q. Which is bigger: d or 4?
d
Suppose 0 = o - 12 + 12. Suppose -5*t + o*f = f + 13, 3*t = 5*f - 19. Are t and -15/8 unequal?
True
Let k = -1076 - -1083. Which is greater: k or 14?
14
Suppose -j - 4*j = 110. Let