 or s?
37/12
Let r = 6469 + -6468. Do -5643 and r have different values?
True
Suppose -z - 4*f - 64 = 55, z = f - 134. Let w = z + 96. Which is smaller: w or -34?
w
Suppose -21562 = 13*k + 205*k + 14190. Is k < -12?
True
Let l be (-2034)/2 + (-1 - (11 - 12)). Let b = l - -967. Is -50 smaller than b?
False
Let g(k) = k**2 - 16*k + 23. Suppose 2*a = 2*f + 38, -f - f = 4*a - 46. Let o be g(a). Which is greater: -7 or o?
o
Let s be ((-1)/6)/((3/(-4))/(36/16)). Which is smaller: s or -214?
-214
Let m be 18/90 + (-8234)/45 + 6/(-27). Is m less than -178?
True
Let i = 12 + -28. Let b = 484 + -429.2. Let l = b + -55. Which is smaller: l or i?
i
Let z be (-4 - 10/5) + -38. Let k be z/24 - -3 - (-3)/(-6). Is k <= 7?
True
Let s be (-8)/(-12) - (-96)/(-9). Let n be 10/(-25)*s - 1. Let y be (2 + (-69)/35)*(-1)/n. Which is smaller: y or 0?
y
Let v = -92 + 62. Let n = -0.072 + -21.928. Let f = v - n. Is f less than 0.2?
True
Let z = 0.2 - 0.2. Let p = 3.9 + 9.18. Let h = p - -1.92. Is z at most h?
True
Let q(u) = -u**3 + 12*u**2 + 21*u + 98. Let y be q(14). Which is greater: 128/11 or y?
128/11
Let g = -7 + 19. Let h = -175483/3 - -58494. Which is bigger: h or g?
g
Let x = 0.2 + -0.1. Let t = -473.997 - 0.003. Let p = t + 455. Is x smaller than p?
False
Let n = -50459/15 - -3366. Let s = n + 163/30. Does 8 = s?
False
Let m = 12256 - 12339. Are -38 and m equal?
False
Let i = -7127933/466 + 15296. Is i > 0?
True
Let r = -792 + 808. Suppose -r*p + 25*p = 0. Is p < 31/22?
True
Let c(x) be the first derivative of 14*x**2 - 224*x - 50. Let j be c(8). Is j > 6/209?
False
Let k(l) = -l**2 + 9. Let r be k(-3). Let y(d) = 3*d**2 + 4. Let n be y(r). Suppose x - 5 = 0, n*x - 23 = -4*g + 13. Which is greater: 18/7 or g?
g
Let h = 3770.974 - 3771. Which is bigger: h or -18.9?
h
Let p(z) = 10*z**3 + 3*z**2 + 6*z + 7. Suppose -3*x - 12*m + 17*m - 26 = 0, -2*x - 24 = -5*m. Let d be p(x). Is d at most -75?
False
Suppose 2*h = d + 394, 292*h - 293*h - 1948 = 5*d. Which is smaller: d or -392?
-392
Let d(z) = -z**2 - 9*z + 36. Suppose 18*p = 21*p + 48. Let r be d(p). Let w = r - -76. Is -3/41 less than w?
True
Let t = 16507/13 - 1269. Let k(o) = -5*o + 51. Let a(m) = m**3 + 6*m**2 + m - 4. Let d be a(-2). Let h be k(d). Is h at least t?
True
Let q(m) = -25*m - 368. Let z be q(-15). Which is bigger: z or 93?
93
Let o = 50728/135 - -5212/27. Which is smaller: -2/5 or o?
-2/5
Let r be 796/4257 - 2/11. Is 0.5 less than or equal to r?
False
Let z be (-3 + 46/4)*6/(-3). Let q = -122 - -109. Which is bigger: z or q?
q
Let a = -82 + 70. Let y be a*((-3)/(-1))/(-3). Are y and 93/7 equal?
False
Let g = -2 + 20. Suppose -g*j - 2 = -19*j. Suppose -5 = s - j. Is s >= -4?
True
Let h be (-2)/(-6)*4 + (-672)/(-9). Suppose -31 = -3*i - v - 83, 5*i + h = v. Is -16 > i?
False
Let x(c) = 5*c**2 + 65*c + 110. Let m be x(-11). Which is greater: 7/2399 or m?
7/2399
Let v = 171.58 + -170. Let x = -1.74 + v. Is -2/3 equal to x?
False
Suppose -3*v = -2*x + 241, -v + 2*v + 76 = 5*x. Let k be ((-7)/3 + -1)*(-161)/((-3220)/492). Which is bigger: v or k?
v
Suppose d = 3*d + g - 6, -2*g = -8. Let a be 106 + -104 - (7 - 1). Let i be 360/450 - a/(-10). Which is bigger: d or i?
d
Let d be (96/(-15))/((-56)/(-480)). Let s = 9334/175 + d. Which is smaller: -2 or s?
-2
Let y be 6*(-4062)/4059 + 6. Let f = y + -1794/2255. Let w = 1 + -2. Is w != f?
True
Suppose -3*n + 0 = -s - 4, -n = -2*s + 2. Suppose 2*m = 3*t - 2*t - 29, s*m + 35 = 3*t. Let p(x) = -2*x - 24. Let g be p(m). Is 16/7 at most g?
False
Let c = 123.7 + -104. Let b = c - 10.4. Do b and 2 have the same value?
False
Let j be 2/3 - (-12)/(-18). Suppose m - 15 - 23 = j. Let b be 2/(-11) - (-23)/((-1518)/(-2520)). Is b at least m?
True
Let z = -1474 + 1465.15. Which is smaller: 0 or z?
z
Let x be 71334/8919 - -1 - 9. Which is bigger: 0 or x?
0
Let h be (9/(-4) + 2)/(2/(-88)). Let a = 61 + -52. Which is smaller: a or h?
a
Suppose -1438142 = -108*r - 186574 - 217468. Is 9574 less than or equal to r?
True
Let b(z) = -457*z - 4570. Let q be b(-10). Which is smaller: -49.96 or q?
-49.96
Suppose 61*g - 66*g = 15, -j - 116 = -2*g. Which is smaller: -126 or j?
-126
Let n be ((-15939)/(-1992) - 8)*14216/(-154). Let f = 11/83 + n. Is 0 at most as big as f?
False
Let q = 145.19 + 1.81. Let p = 146.9 - q. Are p and 88 equal?
False
Let b be (-12075)/945 - (-4)/(-18). Let k = b - -46. Which is bigger: k or -1?
k
Let z = -1400 - -1393. Let j(r) = -2*r**2 - 15*r - 9. Let v be j(z). Let p be 12/10*(-4)/3. Which is smaller: v or p?
v
Let r be ((-99189)/54)/(95/(-15) + 2). Let x = -424 + r. Do -2 and x have different values?
True
Suppose 122 = 3*v - 5*b, -2*v - 4*b = -6*b - 84. Suppose -5*r - 3*n + 147 = 0, -r + 3*n + 42 = -9. Let t = v - r. Do t and 13 have the same value?
False
Let b = -786 + 810. Let x be b/40 + (-116)/(-15). Is x less than or equal to 9?
True
Let p = 22.06 + -22.16. Does p = -0.01392?
False
Let a be 4 - 4*35/10. Let r = a + 12. Suppose 73 = -3*o + 2*z, 2*o - z + 52 = r*z. Which is greater: o or 1/3?
1/3
Let s be 76 + -65 + 108522/(-9866). Is s != -1?
True
Let w(r) = -r**2 - 3*r + 5. Let v = 16 - 20. Let m be w(v). Let t = -6403/22 - -291. Which is bigger: t or m?
m
Let t be -10 - (-18 - (-6 - 3)) - (-1 - 0). Is t less than or equal to -5/152?
False
Suppose -j - 2*q - 8 = 0, 0*j - 4*q - 28 = -4*j. Suppose 0 = -2*f - j*a - a + 134, -5*f + 342 = 4*a. Let t = 55 - -16. Which is greater: t or f?
t
Let x be (-2)/(-24) - 1287/(-1404). Which is smaller: 3/43 or x?
3/43
Let m be (-3410)/186*3/(-5). Which is greater: 273/22 or m?
273/22
Let y be 1*((-805)/(-9) - 272/612). Which is smaller: 57 or y?
57
Let r be ((-60)/(-57)*-1)/(6/(-15)). Which is bigger: r or 3?
3
Let z(h) = -120*h + 1176. Let i be z(9). Do i and 100 have different values?
True
Let y(t) = -13*t - 34. Let o be y(-5). Suppose 0 = -o*n - n - 4192. Which is smaller: -1/2 or n?
n
Let c be 7564/(-610) + (-14)/(-10). Let r(x) = 16*x + 128. Let s be r(c). Which is bigger: s or -56?
s
Let m be 97 + -105 + -2 + 85. Suppose 2*u - 170 = -0*h + 4*h, -315 = -4*u + 3*h. Is m smaller than u?
False
Let r be (-609 + 3 + -2)/(-2). Let v be (4/6)/(r/36 - 10). Which is smaller: v or -5/7?
-5/7
Let s be 686/98 - 11*1. Which is smaller: s or -127?
-127
Let p be (4/8)/(2/36). Suppose 4*f + 3 = -p. Let x be (-2)/8 - f/6. Which is smaller: x or 0?
0
Let d be ((-4)/(-7))/(-2) + -93*(-392)/(-2058). Suppose 0*y + 15 = 5*y. Let p be (1 + 3/9)*y. Which is bigger: p or d?
p
Let k be ((-4338)/(-27))/(4/6). Is 725/3 greater than k?
True
Suppose 3*b + 116 = 2*f, -5*b = 2*f + 124 + 80. Let s be (-298)/(-10) + (-8)/b. Let j = s + -36. Which is smaller: j or -7?
-7
Let o = 51866 - 5653284/109. Is 0 < o?
True
Suppose -7*x = -4*p - 12*x - 15, 0 = -5*p + 2*x + 6. Suppose 0 = -5*d + 2*d. Let v be -3 + d + (-18)/(-3). Which is smaller: v or p?
p
Let s(u) = -2*u - 19. Let i be s(-12). Suppose 3*q + 85 = 6*q - 5*b, b - 179 = -i*q. Let o = 42 - q. Is 10 bigger than o?
True
Let u(p) = -2*p**2 + 5*p + 61. Let a be u(-7). Suppose 0 = 6*k + 331 + 95. Do k and a have different values?
True
Let u = 530/231 - 2/231. Suppose -8*d + 2*d = -288. Let j = d + -47. Is j != u?
True
Let k be (8 + 18 + -24)*69/10. Is 14 at most as big as k?
False
Let r = 1827 + -1592. Let i = r + -312. Suppose -4*w + 69 = 377. Do w and i have the same value?
True
Let v(m) = -m**2 - 13*m - 10. Let t be v(-12). Suppose 4*g + 12 = -5*f - t, 0 = -g + 5*f + 9. Is g greater than -2/563?
False
Suppose 24 = 4*u + 76. Let t(y) = -y**3 - 2*y**2 + 4*y - 5. Suppose 2*q + 10 = -3*q - c, 5*c = -5*q + 10. Let r be t(q). Is u at least r?
False
Let h(b) = -b**3 + 24*b**2 + b - 24. Let p be h(24). Suppose -4*w + 5*i - 25 = p, -4*i + 10 = -2*i. Are w and 1/645 unequal?
True
Let m(r) = r**2 + 8*r + 10. Let o be m(-6). Let k be (-13 + 13)*(-1)/o. Which is smaller: k or -192?
-192
Let t = 0.04353 - 0.24353. Is t > 4613?
False
Let d = 2/18053 + -36172/595749. Is 76 at most as big as d?
False
Suppose 3*w = -5*j - 159, -5*j + 3*w - 86 - 85 = 0. Suppose 4*d = -2*g + 56, g - 2*d - 9 = 27. Let r = g + j. Is r at most -2/89?
True
Suppose 351 + 444 = 3*h + 27. Which is greater: 199 or h?
h
Let g(k) = -k**3 - 8*k**2 - 7*k - 2. Let i be g(-7). Let w be (i + 0)*195/30. Let p be (-2 - 32/w)/3. Are 2/25 an