 25*r + 774 + 251 = d. Does -41 = r?
True
Let q(l) = 2*l - 2. Let h be q(3). Suppose -4*r - h*i - 39 = i, -4*r - 74 = -2*i. Suppose -a = 5*n + 100 - 17, 51 = -3*n - a. Is n greater than r?
False
Let q = 0.04 - -3.96. Let j = q + -4.2. Let f be 28/(-4)*2 + -1 + 1. Which is greater: j or f?
j
Let g = -10518.558 - 4.442. Which is smaller: -0.1 or g?
g
Suppose 0 = 5*z + 36*q - 29*q - 2327, 0 = 4*z - 2*q - 1854. Which is smaller: 467 or z?
z
Let w = -0.2 + 0. Let i(t) = t**3 - 439*t**2 + 883*t**2 - 18*t + 13 + t - 437*t**2. Let r be i(-9). Is r greater than or equal to w?
True
Let m = 268282 + -268062. Let j = -5 + 7. Does m = j?
False
Suppose -51*f = -37*f + 196. Is f <= -3?
True
Let u be (-3 + 5/2)*-10. Let j = -220 - -224. Is j != u?
True
Let o = -55.33 - -120.36. Let n = 65 - o. Is n < -0.1?
False
Let r = 76 - 73. Let v be (1 - r) + 9 + -2. Let k = 26 + -20. Is v <= k?
True
Suppose 0 = 4*b + 8 - 24. Suppose -t - b + 3 = -c, 0 = 5*c - t - 13. Suppose 7 = 4*h + c. Which is greater: -17 or h?
h
Let x(h) = -21*h**2 + 23*h + 55. Let v be x(-9). Which is smaller: -1852 or v?
v
Let d be (29924/(-8))/(136/16 + -8). Which is bigger: d or -7480?
-7480
Let i be 4/(-2 + 3 - -1). Suppose -i*a - 3*a = -175. Suppose -24 = 2*q - 3*h, 5*q + 12*h - 7*h + a = 0. Is -1 <= q?
False
Let h = 941 + -901.3. Let t = -38.7 + h. Which is greater: t or 0.69?
t
Let o = 3828 + -3630.3. Let l = -198 + o. Which is bigger: 127 or l?
127
Suppose 5 = 2*h - 9. Let j be 1/(h/(-3) + 2) - -5. Suppose 5*m + 3 = -j*b, -4*b + 2 = -m - 3*b. Which is bigger: m or 1/13?
1/13
Let h = -0.3034 + 0.0034. Let l = h + 0.44. Which is greater: l or 14?
14
Let t(j) = -j**2 + 5*j. Let p be t(5). Suppose p = 3*s, -3*d + s = 1040 - 386. Let b be d/48 + 13/(-39). Which is bigger: b or -4?
-4
Let u be (2*7143/(-47))/(-2). Let h be ((-304)/(-2))/(-46 - -19 - -28). Let q = h - u. Is q greater than or equal to 0?
True
Let a = 286.3 + -286.2. Is a at least -17/138?
True
Let l be 0*((-22)/(-30) + (-14)/35). Suppose -37*f + 20*f - 6647 = l. Which is bigger: -390 or f?
-390
Let c = 675457675/64 + -10554287. Let r = 1043/4 + c. Which is smaller: 0 or r?
r
Let g = -2/34877 + -2441288/1778727. Let r = -5657/4233 - g. Which is smaller: r or -1?
-1
Let y = -51.79 - -52. Let x = 2.1 - 3. Let c = -1 - x. Is c at least as big as y?
False
Let i = 0 + 0.75. Let m = 2.67 + -3.53. Let q = m + i. Is q at most 0.3?
True
Let i = -0.2431 - -0.4376. Which is greater: 1 or i?
1
Let m be 16 + -5 - (1962 + -16). Which is bigger: m or -1937?
m
Let j = -0.31678 - -792.81678. Which is smaller: j or -2/7?
-2/7
Let k = -7.7 + 7.63. Which is greater: k or 26?
26
Let k = 88959.448 - 88959. Let p = -1 - -0.9. Are p and k equal?
False
Let r = 4501 - 832687/185. Let x = r + -529/2405. Let b be 32/128 + (-2)/8. Which is smaller: b or x?
x
Suppose 0 = -3*y - g - 25, 22*y - 2*y = -5*g - 160. Is 25 at least as big as y?
True
Suppose 71 = -3*p - 2*a, -1236*p + 1239*p - 2*a = -91. Which is smaller: -54 or p?
-54
Let s(x) = -5*x + 57. Let t be s(3). Are t and -23 equal?
False
Let i = 477557/22 + -21707. Suppose 5*v = -4*r + 1, -5*v = 3*r - 0*v - 2. Which is bigger: r or i?
i
Let l(s) = 2*s**2 - 12*s + 13. Let r be 0 - (17/(-3) + (-4)/(-6)). Let t be l(r). Let x be 1*(0 - (-2 + t))*1. Is 2/119 > x?
True
Let h = 19.57 + 0.43. Let q = 40868 - 40887.973. Let a = q + h. Which is bigger: a or -1?
a
Let r = -8990 + 5037. Are 1/3 and r nonequal?
True
Let r = 23498 - 22917. Do 590 and r have the same value?
False
Suppose 12 = 4*f + y, -2*y = 3*f + y - 18. Let m(z) = -2*z**2 + 3*z - 1. Let b be m(f). Let o be 8/(-12) + (-1)/b. Is o greater than 0.1?
False
Let b = -143.95 + -1.05. Let f = b - -212. Let a = -67.7 + f. Is a less than 0?
True
Suppose -612 = -5*a - 7*a. Let v be ((-72)/(-45))/(a/15). Is v at most -1?
False
Suppose 344*t - 351*t = -1680. Suppose -4*i + t + 32 = -2*j, -2*j = 2*i - 136. Is 68 >= i?
True
Suppose 11*s = -14*s + 350. Suppose -s*d - 588 = 84. Are d and -3 non-equal?
True
Let b(j) = -29*j + 17. Let y be b(1). Let f be (2 + 22/y)*(-138)/(-46). Are 1/65 and f nonequal?
True
Let z(g) = 30 - 3*g + 38 - 8 + 18. Let s be z(26). Suppose s = -3*j + m + 4, 3*j = -3*m - 7 - 5. Which is smaller: j or 7?
j
Let z = -38543.481 + 38322.4. Let s = z - -221. Which is greater: -1 or s?
s
Suppose -36*y + 41*y = -30. Let v be y*((-3)/63 - 2/7). Let w be (1 - -2) + -2 - v. Is -2 at least as big as w?
False
Let l = 81.8 + 121.2. Let g = l - 215. Which is bigger: -20 or g?
g
Let l = 59 - 45. Suppose -3*a = 2*s - 1 - 14, 2*a - 16 = -2*s. Suppose 3*q = 36 + s. Is l smaller than q?
True
Let b = -1858 - -2609. Let l = 740 - b. Is -20 <= l?
True
Let r(o) = -9*o + 27. Let n(d) = 8*d - 26. Let g(q) = 4*n(q) + 3*r(q). Let f be g(5). Let t be (1 - (-1 + f))/(1 + 1). Which is smaller: 1/2 or t?
t
Let x = -2581.005 + 2581. Let y = -0.011 + -0.184. Let p = y + x. Which is smaller: p or 5?
p
Suppose -5*h = 4*x - 30, 2*h - 8*x + 16 = -4*x. Suppose 3*q - 3*s = -2*s + 11, -4*s = -h*q + 24. Suppose 4*i + 12 = q*d + 7*i, d + 4*i - 16 = 0. Is 6/29 >= d?
True
Let t be -2416 + 0 - (32 + -42). Is t less than or equal to -2406?
True
Let m(p) = -15*p + 3 + 4 + 14*p + 5. Let n be m(13). Let d = -1.34 - -1.3. Is n bigger than d?
False
Let v(q) = -q + 6. Let a be v(6). Let m be (0*(-5)/10)/((-12)/3). Suppose 2*y - y + s + 21 = m, -5*s - 25 = a. Is -17 < y?
True
Let f = 0.052 - 0.029. Let t = 85.48 + -87. Let b = -0.48 + t. Which is bigger: b or f?
f
Let x = 28.254 + 16.547. Let t = x + -44.8. Which is smaller: t or 2/7?
t
Let i = 55711.12 - 55711. Let w = -0.04 + 0. Does w = i?
False
Suppose -2*p - 3*p = -155. Let v(d) = -d**3 - 2*d**2 - d + 9. Let c be v(0). Let i = 22 + c. Is i <= p?
True
Let u(w) = -4*w**2 + w**3 + 10*w + 2 - 6 + 13*w**2 - 7. Let b be u(-5). Do b and 39 have the same value?
True
Let s = 130 + -123. Let b be (-49)/s + 1 + 311. Is 306 smaller than b?
False
Suppose 4*s + 4 = 2*k, 28*k - 4 = 4*s + 27*k. Which is bigger: s or -4/5679?
-4/5679
Suppose -4*p - 4*u = -8, 5*p + 27 = p + 3*u. Let z(n) = -n**3 - 6*n**2 - 10*n - 6. Let w be z(-4). Let l be w/(-1 + -145 + p). Which is greater: l or -1?
l
Let w(k) = -3*k**3 + 2*k**2 + k. Let r be w(-1). Let v be ((-2)/(-3))/(r/6). Let q = 1113/940 + 3/188. Which is smaller: q or v?
v
Let o = -0.0423 + 21.7423. Let b = o + -21.9. Is -21/4 at most as big as b?
True
Let r be 47*(-5 - ((-615)/135 + (-1)/3)). Is r bigger than -6?
True
Suppose 5*m = -3*h + 6*m + 370, -498 = -4*h - m. Let i = 137 - h. Which is smaller: i or 14?
i
Suppose -8*p + 5 = -3*p. Which is smaller: 3/2422 or p?
3/2422
Let g(n) = 2*n**2 + 9*n - 40. Let b(x) = -x + 1. Let v(u) = 3*b(u) - g(u). Let w be v(-11). Are -1 and w equal?
False
Let m = -60 - -122. Let x = m + -56. Suppose 0 = -8*s + x*s + 8. Which is smaller: -0.7 or s?
-0.7
Suppose 25 = -5*i + 110. Suppose -2*c + 3*d + 72 = 0, 37*c + 12*d = 35*c - 138. Which is smaller: c or i?
c
Let g = 19665 - 255711/13. Which is smaller: -5 or g?
g
Let a = 16.628 - 0.028. Let o = -45.6 + a. Are -1/9 and o unequal?
True
Suppose -4*n = -3*y - 46, -n + 4 = 7*y - 4*y. Let v be (n/8)/(27/12 + -2). Is v less than or equal to 7?
True
Suppose -u + 4 = -3*g, -g - 9*u + 14*u = -22. Let x(b) = 52*b + 41. Let o be x(g). Which is bigger: o or -116?
o
Let h = 708 - 705. Let m = -1.1 + -1.1. Let k = -11.2 - m. Which is greater: k or h?
h
Let i(s) = -s**2 + 44*s - 91. Let o be i(2). Which is greater: o or -1911?
o
Suppose 0 = -n - 4, -5*o + 18*n - 42 = 21*n. Which is greater: o or 13?
13
Suppose -111*o + 83*o = 47*o. Which is smaller: -3/5012 or o?
-3/5012
Let s(t) = t + 12. Let g be s(-12). Suppose g = -3*o + 2*o + 8. Suppose 3*y + 30 = u, 4*u - 619*y - 15 = -622*y. Which is bigger: o or u?
u
Let c be 9560/(-2050) - (-5 - 4*4/(-16)). Which is smaller: c or 0?
c
Let l(n) be the second derivative of n**5/20 - 5*n**4/12 + 5*n**3/6 - 5*n**2/2 - 2*n. Let y(a) = 10*a + 144. Let k be y(-14). Let j be l(k). Is j > -1/41?
False
Suppose 34 = 4*w - 3*f, 5*w + 0*f - 43 = 4*f. Let n be (4 - 8)/((-4)/10). Let z = -2 + n. Which is bigger: w or z?
z
Let a = -18579/4 + 4669. Let s be (7/2 + 0)/((-3)/(-6)). Suppose 3*l + 100 = s*l. Which is smaller: l or a?
a
Let y be 2/3 - (-242)/(-3). Let m(u) = -u**2 - 11*u - 6. Let s be m(-10). Let b be ((y/6)