 q?
q
Let k = 7 - 8. Let x(y) = 4*y**3 + 3. Let r(o) = -5*o**3 - 3. Let d(a) = -3*r(a) - 4*x(a). Let h be d(0). Are h and k nonequal?
True
Let r = -3719092/231 + 16100. Is r != 1?
True
Let b = -136 + 138. Which is smaller: 34/15 or b?
b
Let v = 0.81 - 0.01. Let c = v + -0.8. Let g be (-3)/120*-1 - (-3)/8. Which is smaller: g or c?
c
Let u(y) = y**3 - 6*y**2 + 7*y - 3. Let t be u(5). Suppose 2*k = t*k. Suppose w + d + 14 = 0, k = -3*w + 4*d + d - 2. Is w <= -9?
True
Let l = 657.6 - 669. Is 1/9 greater than l?
True
Let s = 20.6 + 69.4. Let z = s + -90. Let v = -1030/77 + 144/11. Which is smaller: v or z?
v
Let z = 16 - 15. Let i = 825 - 824.7. Is z > i?
True
Let y = -677/145 - -23/5. Suppose -3*k = -7*k. Which is greater: y or k?
k
Let x = 40 + -40. Let k(g) = 3*g**3 + g + 35. Let r be k(x). Is r greater than 35?
False
Suppose -5*o + y = 2*y - 21, -5*y + 9 = o. Let v be 2365/350 + 4/40 - (3 - 0). Are o and v unequal?
True
Let r(m) = 6*m**2 + 30*m - 228. Let t be r(12). Which is smaller: 997 or t?
t
Suppose -83*j + 100*j - 17 = 0. Which is bigger: -1/114 or j?
j
Suppose 0 = -0*n - 4*n - 24. Let o = 310 + -309.7. Is o smaller than n?
False
Suppose 0 - 6 = -2*r. Suppose 4 = k + r. Let g be (-18)/(-8) + 4/(-2). Which is greater: k or g?
k
Let v = -23 + 26. Suppose -5*w = -v*w + 4. Suppose 4*j + 26 = -3*b, 11 = 2*b - 5*j - 10. Is b at least as big as w?
True
Let m be 4/10 + (6 - 14) + 4. Is m not equal to -3?
True
Let b(x) = -4*x**2 + 55*x + 16. Let l be b(13). Which is bigger: l or 0?
l
Let w = 61 + 30. Which is smaller: w or -2?
-2
Let o = 14.15 + -0.15. Let i = 6 - o. Let n = -1083.3 - -1083. Is i bigger than n?
False
Let c = -46 - -43. Let l be c/(-2)*(-40)/500. Which is greater: l or 0?
0
Let w(g) = -2*g - 2. Let l be w(-3). Suppose -4*z = -t - 15 + 45, 2*t + 24 = -l*z. Let d(j) = 3*j - 28. Let q be d(7). Is z smaller than q?
False
Suppose 2 = -1306*u + 1304*u. Let h be 14/49 - (-6)/(-28). Are h and u equal?
False
Let s = -1145 - -1126. Which is bigger: -7 or s?
-7
Let t be (2107/196)/((-2)/(-16)). Which is smaller: 1/5 or t?
1/5
Let k = 5578 + -273340/49. Which is bigger: -1 or k?
k
Let f(b) = -b**3 + 8*b**2 - 3*b - 29. Let h be f(7). Which is smaller: h or -2/349?
h
Let r = -1669 - -1668.048. Which is bigger: r or 1?
1
Suppose 0 = -w + 3*a - 3, -4 + 2 = -2*a. Suppose 3*o - 3*m + 761 = -2*o, -12 = 4*m. Let c be ((-48)/o)/((-24)/84). Is w greater than or equal to c?
True
Let z(r) = 6*r + 8. Let x(w) = 1. Let d(k) = -10*x(k) + z(k). Let n be d(-3). Let p be 1/(-2)*n/4. Which is bigger: p or -0.1?
p
Let c = -1075 + 1155. Which is greater: c or -0.3?
c
Suppose 2*i + 3*b - 29 - 13 = 0, -2*i + 40 = 2*b. Suppose i = -4*d + 3*d. Let u be 22/d - 6/(-27). Do 1/8 and u have different values?
True
Suppose 184 = 3*k - 7*k. Let s = k - -31. Is -16 greater than or equal to s?
False
Let b = -79/7 + 11. Let d = 2.5 - -0.7. Let y = d + -3. Which is greater: y or b?
y
Let i be ((-1)/2)/(26/8684). Is -1172/7 equal to i?
False
Let b = 105.5 - 53.4. Let v = -52 + b. Which is smaller: -32/5 or v?
-32/5
Suppose 0 = -s - 3*p - 12, 0*s + 17 = 4*s - p. Let t = s - -1. Suppose -7*m = -m - 18. Which is smaller: t or m?
m
Let x = 460 + -461. Is x equal to -6/59?
False
Suppose -2*t - s = -4, 2*t - 3*s + 2 = -2. Let v be (9 - 6)*(2 + (-1)/1). Which is smaller: t or v?
t
Suppose -k - k - 24 = 0. Let c be ((-8)/k + 4/12)*1. Let q be -1*(-8)/6 - 1. Does c = q?
False
Let y = 6.748 - -0.252. Is 2 less than y?
True
Let w = -1037 + 1031. Which is bigger: w or -13?
w
Let c = -351 - -350. Which is smaller: -7/11 or c?
c
Let g be (-24)/156 + (-808)/(-13). Is g at most 62?
True
Suppose 3*t - 4*t = 2*f - 19, -4*t = -5*f + 67. Let c = -320.1 + 320. Is c < f?
True
Let j be (1480/(-105))/((-1290)/(-9)). Let z = -1792282/13545 - j. Let x = z - -132. Which is smaller: -6 or x?
-6
Let w(x) = x**3 + 3*x**2 + 2*x + 3. Let m be w(-2). Suppose -5*v = d - 29, -m*d = 3*v - 4*v - 7. Suppose -24 = -d*p + 8*p. Which is smaller: p or -7?
-7
Let s(r) = -22 + 5*r + 0*r - 3*r + 1. Let x be s(6). Let j be x/(-15) - (-378)/(-30). Is -12 <= j?
True
Suppose 0 = 4*f + 53 - 17. Let j = f + 18. Is j at least 15?
False
Let w(h) = -h. Suppose -15 = -3*d, 0*t + 2*d = 3*t + 13. Let a be w(t). Is 3/50 at most a?
True
Let c be (-16)/((-12)/3) + -1. Suppose -3*j = c*o - 15, -11 = 5*j + o - 5*o. Which is bigger: j or -12?
j
Suppose -596*m = -601*m. Is m greater than or equal to 8/117?
False
Let g = -2 + 22. Let t = 29 - g. Is 7 not equal to t?
True
Let j(g) be the third derivative of g**6/120 - g**5/15 - 5*g**4/24 - g**3/6 + 7*g**2. Let x be j(5). Which is smaller: -2/13 or x?
x
Suppose -6 = -5*r + 3*r. Suppose s = -i - 5, -2*i - 17 = -0*s + r*s. Is -6 at most as big as s?
False
Suppose 0 = 5*w + 4 + 6. Let u be w/1 + 3245/(-9). Let s = u - -363. Which is smaller: s or -1?
-1
Let z = 0.08 - 0.21. Let o = 0.08 + z. Let u = o + 1.05. Which is smaller: u or -0.1?
-0.1
Let y(i) be the third derivative of i**6/120 - i**5/12 - 13*i**4/24 - i**3/3 + 27*i**2. Let d be y(7). Which is bigger: d or 2?
d
Let o = -251 - -250. Is 1/358 >= o?
True
Let j(h) = 85*h**2 + h - 9. Let l be j(-2). Is -0.1 bigger than l?
False
Let u = -515 + 514. Which is smaller: u or 2/57?
u
Let c = -14 - -13. Let h = -738 + 61256/83. Which is smaller: c or h?
c
Let o(h) = 3*h**3 - h**2 - 2. Let x be o(2). Suppose 59*u - 63*u + 8 = 0. Let q be 4/x - u/9. Do q and 1 have the same value?
False
Suppose -2600 = -203*t + 195*t. Is t <= 325?
True
Let c(a) be the first derivative of -a**3/3 + 5*a - 4. Let p be c(0). Suppose 0 = -p*h - 15, -4*q - 9 = h + 6. Which is bigger: q or 1/2?
1/2
Let f be (-2)/(-3) - 164/12. Let i(l) = l + 12. Let o be i(f). Which is bigger: o or -4?
o
Suppose 3*c + 2 = -22. Let l be (-3)/12 - (-14)/c. Let n(k) = -19*k + 113. Let x be n(6). Which is greater: l or x?
x
Let u be ((-3)/(-2 - 4))/(4/184). Let w = u + -22. Which is smaller: w or 3/7?
3/7
Let s be (8/(-110))/(28/(-350)). Let z = 6 + -8. Is z < s?
True
Suppose 288 - 1355 = -11*x. Let o = -1263/13 + x. Let i = -13/3 + 11/3. Do i and o have the same value?
False
Let q = 1511/28 + -213/4. Suppose 0 = 4*g - 12, 4*z + 5*g - 12 = -13. Let h be z - (1 + -3)*3. Which is smaller: q or h?
q
Let w be (22/4)/(1/(-2)). Let m = w + -12. Is -22 less than m?
False
Let y = 10.81 + 2.29. Is 0.1 at most as big as y?
True
Let h(v) = 11*v + 2. Let b be h(1). Let r = b - -5. Suppose -s - r = -1. Is -15 smaller than s?
False
Let w be 19/(-2)*(0 + 2). Let u = 12 + w. Suppose 2*h - 11 = 3*c, 0 = 3*c + 4*h + 30 + 11. Is u > c?
False
Let a = -10 - -8. Let i be (-255)/486 + a/(-4). Which is smaller: 0 or i?
i
Let r = -0.5 + 0.05. Let s = r + 0.85. Let d = 2 - 2.1. Which is smaller: s or d?
d
Suppose -2*o = -4, 2*g - 26 = -o + 60. Suppose -109 = -2*u - 5*r, 5*u - 6 = r + 199. Is g at least as big as u?
True
Suppose 5*t + 1302 = -t. Let y = -3471/16 - t. Is 1 at least y?
True
Let v(p) = p**3 + 4*p**2 + 5*p + 2. Let b be v(-2). Suppose -h + b*h = -6*h. Which is greater: h or -3/41?
h
Suppose -3*t - 2*b + 9 = b, -5*t + 3*b - 9 = 0. Suppose -48 = -4*h - t*h. Which is smaller: h or 10?
10
Let k = -801 - -174. Do -628 and k have the same value?
False
Let c = 134/175 - 12/25. Suppose -16*k + 118 + 42 = 0. Let z(a) = -2*a**3 + 19*a**2 + 12*a - 21. Let m be z(k). Which is smaller: m or c?
m
Let j = 64 + -104. Is -1/4 <= j?
False
Let h be (-5 - -5)/(0 - -1). Is h at most as big as 4/73?
True
Let l be (-1 - (-95)/98)*(-20)/(-150). Which is smaller: l or 0?
l
Let w be 240/320 + 66/(-56). Is 19 >= w?
True
Let o = -2 + 9. Let r = 19578 + -19569. Is o not equal to r?
True
Let m be ((-29692)/90)/2 + 0. Let p = 165 + m. Let w be 0 + 4/(-14) + (-1440)/(-5040). Do w and p have different values?
True
Let r = 25287/28 + -903. Let w be (-3)/(1/(-2)*6). Let c(h) = h. Let i be c(w). Which is bigger: i or r?
i
Suppose -5*q + 9*q + 320 = -m, -4*m + 178 = -2*q. Is -82 greater than q?
False
Let y be (-112)/16 - (-1 - 4). Which is bigger: y or 87?
87
Let x = -6.2599 - -6.25. Which is bigger: 0.1 or x?
0.1
Suppose 3 + 0 = m - s, -2*m - 12 = 4*s. Is -102 at most as big as m?
True
Let c be (-54)/(-216)*(-16)/(-14). Do -243 and c have different values?
True
Let o = -385 - -396. Suppose 4*u - 50 = -u. Is u greater than or equal to o?
Fals