 q be s(b). Let f be 18/12*6/(-3). Do f and q have different values?
True
Let h(t) = -t**2 + 6*t + 2. Let r be h(5). Let q = -9573 + 9578. Is q >= r?
False
Let i = -17.05 + 17. Let s = i + -4.75. Let w = s + 2.5. Do w and 0.1 have different values?
True
Let y = 1186 + -268035/226. Is 1 greater than or equal to y?
True
Suppose 22 = -14*l - 62. Is l < -2?
True
Let p = -16/19 + 1/114. Let q = 2856 + -2858. Is q != p?
True
Let j = -1611 + 1588. Which is smaller: -34 or j?
-34
Let v = 680 + -681. Are -25/18 and v nonequal?
True
Let q = -0.19 - -0.29. Let k = 0.58 - 1.78. Which is greater: q or k?
q
Let n(h) = -h**3 - 6*h**2 + 2*h. Let x be 14/(-3) + 3/(-9). Let k be n(x). Let y = -38 - k. Is y bigger than 0?
False
Suppose -3*g - 24 = 99. Let p = g - -76. Let h be 22/10 - 7/p. Which is greater: -5 or h?
h
Let a be (-150)/(-18) + -9 + (-58)/(-78). Suppose -4 = -2*j - 2*j. Which is smaller: j or a?
a
Suppose -6 = 3*o + 4*q + 15, -4*o = -4*q. Suppose 75 = -5*b + 70. Which is smaller: b or o?
o
Suppose 7*n - 2*n - 26 = 3*o, -o + 10 = 3*n. Let r be o/(-3) + 546/(-9). Let y be (2/(-5))/((-18)/r). Do 0 and y have the same value?
False
Let j = -1/567 + -503/567. Let v(d) = 5*d**2 - 40*d - 1. Let n be v(8). Is n greater than or equal to j?
False
Let v = 132 + 146. Is 278 less than or equal to v?
True
Let n = -1 - -4. Let o be (-2)/n*3/(-23). Suppose 189*x = 176*x - 13. Which is smaller: x or o?
x
Let u = 1238 - 1292.1. Let p = u + 54. Is -46 smaller than p?
True
Let s be (-1900)/(-22500) - (-8)/(-18). Does s = 1?
False
Let b(n) = 8*n + 191. Let m be b(-24). Is m at most as big as -1/98?
True
Let l = 0.02 - -0.18. Which is greater: l or -31?
l
Let a = 61/3476 - -1/1580. Does a = -1?
False
Let r be (7 + -2)*(-12)/(-35). Let z be (2/4)/(99/396). Is r smaller than z?
True
Suppose -z + 205 + 180 = 0. Is z <= 385?
True
Suppose w + 8 = 8. Suppose 0 = -u - 4*l + 24, -u = -w*u - l - 4. Is u > 6?
True
Let d = -5/239 + -12821/4063. Is -4 greater than d?
False
Let o = -183 + 172. Let j = 6.6 - -0.4. Let w = 6 - j. Is w not equal to o?
True
Let c be 30/165 + 128/22. Let m be 2/(-12) - (-163)/c. Which is bigger: m or -1?
m
Suppose 5*w + 37 = 2*p + 10, 1 = -4*p - w. Suppose 4*m - p = 5*m. Are 2/337 and m nonequal?
True
Let n be 0 - (-3 - 242/(-80)). Are -1 and n nonequal?
True
Let d be (-114)/28*(-28)/(-105). Let b = d + 9/5. Which is bigger: b or 1?
1
Let g = -109 - -87. Which is smaller: -24 or g?
-24
Let g = 2.3 - 3.8. Let n = -11.5 + g. Which is smaller: n or 1/4?
n
Let h = -238690240/3079 + 77522. Let w = h - 18364/169345. Let m = -28/55 - w. Is m less than or equal to -1?
False
Let r = 2.65 + -2.55. Which is smaller: r or -0.202?
-0.202
Let n be (-3 - -4)/((-2)/(-8)). Suppose -5*b + 11 = -v, -n*v = b + 34 + 52. Are -1 and v nonequal?
True
Suppose 10*g + 12 = 14*g. Suppose -2*x + 11 = x + 4*r, r - g = -x. Which is greater: x or 4/63?
x
Suppose -5*d = 0, 2*d = 3*u - d - 63. Let n = 26871/1250 - -2/625. Is n less than or equal to u?
False
Suppose 2*i + 180 = -3*i. Is -37 >= i?
False
Let b be (-2)/(-14) - (-2292)/(-3780). Let d = b + 8/45. Which is greater: d or 2/65?
2/65
Let g = -518 + 503. Are g and -68/5 equal?
False
Let q = -706 + 957. Do q and -0.3 have the same value?
False
Let z = 406/3 + -134. Let a = -2.79 - -3. Let m = a + -0.11. Is z >= m?
True
Let d = -11 + -3. Let s = d - -32. Is s at most as big as 16?
False
Let o be 8606/(-18) + (-1)/3. Let c = o + 478. Are 0 and c nonequal?
True
Let b = -6 + 10. Suppose 14 = 5*o - 11, -5*o + 23 = -2*j. Suppose j = -5*k + b*k. Which is bigger: k or -1/27?
-1/27
Suppose 5*u - 329 = 3*j, 0*j = -2*u - 3*j + 119. Suppose 69 = o + u. Which is smaller: o or 6?
o
Let z be -1 + 25/5 + 9. Suppose -16*u + z = -35. Which is smaller: u or 10?
u
Let m = -14 + 0. Let t = -14.2 - m. Is -12/13 < t?
True
Suppose -d + 3*d + 60 = 0. Let h = 5898 + -5928. Is h at least as big as d?
True
Suppose 2*x = 3*r + 25, 4*r = 4*x - 0*r - 40. Suppose 37 = -5*i + 3*a, 3*i - 4*a + 21 = 1. Let t be 1 - 5/(10/i). Do t and x have the same value?
True
Let f be ((-1)/(-6))/((-9)/24). Suppose -j - j - j = 0. Which is smaller: j or f?
f
Let z = -36 - -36. Suppose -2*j - 10 = -z, 0 = n + j + 15. Which is greater: -8 or n?
-8
Let r be (4/(-10))/((-2)/20). Suppose 0 = -r*a + 19 + 1. Suppose -5*h + 5 = a*j, 3*h + 5*j + 0 = 3. Which is bigger: 1/2 or h?
h
Let c be (-2)/13*(-1153 + -3). Let y(z) = -z**2 + 13*z + 20. Let l be y(-9). Let a = l + c. Does a = 0?
False
Let t(m) = m**2 - 4*m - 8. Let o be t(6). Suppose o*b = 3*b + 1. Let w be 2/15 - (-7)/(-21). Which is greater: w or b?
b
Let s be 22/847 - 2/(-21). Which is smaller: 0 or s?
0
Let r = -2 + 6. Suppose a + r*t = 5*a - 100, -2*a + 3*t = -45. Let b = 29 - a. Do b and 1/6 have different values?
True
Let d = 55.7 - 38. Let t = d + 1.3. Let h = -21 + t. Is h at most as big as -4?
False
Let q = -2253 - -2231. Which is smaller: -181/8 or q?
-181/8
Let p be 16398/2145 - (-4)/(-10). Let d = p - 78/11. Let h(u) = -u**3 + 18*u**2 + 18*u + 20. Let k be h(19). Which is bigger: d or k?
k
Let g(l) = -l**3 + 33*l**2 - 214*l - 13. Let u be g(9). Is u != 56/11?
True
Let s = -3.2 + 4. Is s > 12?
False
Suppose 0*k - 3*w = -2*k - 9, 5*k - 2*w - 5 = 0. Let d be (3/15)/(k/24). Is 1 less than d?
True
Suppose 0 = -3*n - 6, -4*v + 4 = -3*v - 4*n. Let t be (-45)/(-212) - (3 + 11/v). Which is bigger: t or 1?
1
Let w be ((-94)/987)/(2/(-14)*-4). Suppose 0 = -l + 2*q + 2, l + 2*q + 2*q + 4 = 0. Is w equal to l?
False
Let b be ((-28)/6)/7 - (-2)/(-6). Let h = -251/4587 - -589477/3805681. Let v = 2/393 + h. Is b greater than v?
False
Let f = 6.4 + -8.4. Let s = -4.8 - -5. Is s <= f?
False
Let k = 40 + -28. Suppose 4*y + 2*q = q - k, 3*y + 22 = -4*q. Which is smaller: y or -17?
-17
Let k be (40/24)/(1/3). Suppose -k*f + 29 = -1. Which is bigger: f or 5?
f
Let q be -1 + (-46)/(-36) - (-98)/(-196). Which is bigger: -13 or q?
q
Let u(r) = r**2 + 45*r - 452. Let a be u(9). Let j = 70 + -36. Are a and j non-equal?
False
Suppose -28 = -6*i + 26. Let u(f) = -20*f - 10. Let w be u(-1). Which is smaller: w or i?
i
Suppose l + 3138 = 2*q - 0*l, 3*q + 3*l - 4698 = 0. Let v be ((-5)/7 - -1) + (-497)/q. Are 1 and v nonequal?
True
Suppose -2*v + 3 = -v. Suppose c = v*c - 10. Suppose 0 = -c*l + 2*l + 3. Which is smaller: 0 or l?
0
Let l = 168.4 + -212.9. Which is smaller: l or -1?
l
Let h be (-2)/6 + 176/6. Suppose -27 = 2*i - h. Let k = 159/4 - 40. Which is smaller: i or k?
k
Let u be ((-20)/(-12) + -1)/((-8)/(-1167)). Let q = u - 97. Is q greater than or equal to -2/79?
True
Let n(a) = 37*a + 256. Let v be n(-15). Is -301 not equal to v?
True
Suppose -125 = 2*a - 7*a. Let h be 2 - -1 - (a - 9). Is h greater than -13?
False
Suppose -4*s - 4*j = -328, 10 = 3*j - 2. Suppose 5*z + z = s. Suppose 1 = 2*b + z. Do b and -6 have different values?
False
Let t = 74 - 54. Suppose a = t - 17. Which is bigger: 12/5 or a?
a
Let b = 0.12 - 0.19. Let q = -196 - -194.93. Let a = b - q. Which is bigger: -1 or a?
a
Let k(h) = -h**3 + 5*h**2 - 5*h + 9. Let u be k(4). Suppose u*b - 5 = 5. Do b and 2 have the same value?
True
Let m(c) = c**3 + 3*c**2 - 4*c. Let z be m(-4). Suppose 0 = -z*h - 4*h - 48. Let f = -11 - h. Which is greater: -1/2 or f?
f
Let p(i) = -2*i - 17. Let q be p(-13). Let d be (30/9)/(6/q). Is -0.2 less than d?
True
Suppose -5*o + 128 = -2*s, 56 = 4*o + 2*s - 50. Let p = o - 51/2. Let w = 114 - 344/3. Are p and w equal?
False
Let z be (-2 - (-3)/(-2))/((-3)/(-6)). Let f be -1 - 2 - ((-2058)/(-77))/z. Are 1 and f nonequal?
True
Let t be (14/3 - 5) + 6. Suppose 20 = 3*q + y, -2*q - 4*y + 13 = -17. Which is bigger: q or t?
t
Let w be (28692/24)/(10/4). Let d = 480 - w. Let c = -3.1 - -3. Which is bigger: c or d?
d
Let r = -251.29 - -250. Let g = -1.36 - r. Is 0.05 bigger than g?
True
Let c be (91/(-49) - -7)*7. Suppose -v = -4*l + 3*l + 39, 3*v = -3*l - 105. Let a = c + v. Which is smaller: a or -20?
-20
Let n = -2913137786623133/208252 - -13988522495. Let q = 729432729/5094468676 - n. Let i = q - -2/1439. Are i and 1 non-equal?
True
Let y = -20 - -24. Suppose 2*r + 4*s = 8*s + 6, 3*r - y*s + 1 = 0. Do -3 and r have different values?
True
Let u = 2 - 4. Let z be 14/63 + 16/9. Let a be 148/(-52) + 1 + z. Which is smaller: u or a?
u
Let c(n) = -2*n. Let m b