 24/28*2/81. Let c = r - q. Is c greater than or equal to -3?
True
Let n be -7 + -1 + 3 + 7 - 52. Let m = -50 - n. Let i be ((-28)/18)/(1 - -1). Is i smaller than m?
True
Let w(q) = q**2 + q. Let v be w(1). Suppose 8*k + 412 = -95*k. Let a be v*k/(-8)*1. Which is greater: -2/69 or a?
a
Suppose 0 = -4*t + 11 + 13. Suppose t*x = -3*x + 135. Is 15 at most x?
True
Let v(h) = 2*h**2 - 16*h + 30. Suppose -10*x + 48 = 6*x. Let r be v(x). Which is smaller: r or 2/11?
r
Suppose 35*u = 33*u - q + 1028, -3*q = 3*u - 1554. Are u and 531 unequal?
True
Suppose -5*m = g - 260, 178 = 3*m + 50*g - 45*g. Are m and -4 non-equal?
True
Let y be 364/(-65)*2/4. Suppose -d + 1 + 0 = 0. Let q(p) = -4*p**3 + p**2 + p - 1. Let h be q(d). Which is smaller: h or y?
h
Let r be 19/1 + 2 + -1. Suppose 8*x - 12 = -4*c + 4*x, 4*c = -2*x + 8. Let k be 4 - c - -21 - 4. Is k <= r?
True
Let x(k) = -20*k + 263. Let v(z) = -25*z + 333. Let w be v(12). Let r be x(w). Is -396 greater than r?
True
Let v(i) = -i**3 + 80*i**2 + 21*i + 28. Let c be v(80). Is 1709 at least c?
True
Let x = -552.9784 + 553. Let f = 0.0784 + x. Which is smaller: f or 0.001?
0.001
Let j = -2/1375 - 2716/23375. Let v be ((-384)/(-85) - 6) + 2. Let s = j + v. Which is greater: 15 or s?
15
Suppose 0 = 4*z + 4*i - 3724, 0 = z - 5*i - 234 - 697. Which is smaller: z or 10?
10
Let b = -5/6 - -1/3. Let a(o) = 3*o - 51. Let y(j) = j - 17. Let w(r) = -2*a(r) + 7*y(r). Let l be w(16). Which is smaller: l or b?
l
Let h = -4209 - -4210. Does h = -21/67?
False
Let y(h) = h**2 + 9*h + 2. Let u be y(-9). Suppose 15 = -2*d + 5*b, -12 - 3 = -u*d - b. Suppose 2*p - 4 = p, d*p + 133 = -3*a. Is a < -51?
False
Let c = 50 + -34. Let l(k) = -12*k + 16. Let x(i) = 4*i - 5. Let d(y) = -3*l(y) - 10*x(y). Let a be d(-3). Is a bigger than c?
False
Let d = 1324/5 + -269. Let c = -6/127 + 320/1397. Is d <= c?
True
Suppose -4 = -w + 2*g, -w - 5*g + 42 = 3. Is w less than or equal to 14?
True
Let m = 1396 + -1396. Which is smaller: -12/691 or m?
-12/691
Let l = 35 - 36. Let h be -1 - (8 + l - 4). Let n(y) = -y + 6. Let i be n(h). Which is bigger: i or 7?
i
Let j(k) = k**2 - 14*k + 12. Let x be j(13). Let z = -204.117 + 204. Let h = z + -8.883. Is x less than h?
False
Let b = 867 - 864. Let j = -0.003 + -0.057. Is j greater than b?
False
Let b be (-13)/((-364)/(-70)) - (0 - 24/10). Which is greater: b or 0.9?
0.9
Suppose 0 = -93*s + 825178 + 497096. Is -1/2 > s?
False
Suppose -30*h + 23*h = -56. Let g be (h/42)/(6/27). Is -1/5 less than g?
True
Let c(j) = 4*j**2 + j. Let x be c(1). Suppose 6 = -m + g - 6, -m - x*g - 24 = 0. Which is smaller: m or 0.5?
m
Suppose 0*l - 3*t - 66 = -3*l, 4*l + 5*t = 133. Suppose -9*v + 0 = l. Which is smaller: -38/11 or v?
-38/11
Let q = 178 + -177. Let f be q + 28/(-8) + 93/48. Does f = -0.4?
False
Suppose 0 = 9*t - 118*t - 1526. Is t greater than or equal to -157/11?
True
Suppose 125 = -2*x - x + 2*s, -5*x - 207 = -3*s. Let f = x - -43. Let z be ((-2)/f)/((-1)/2). Which is greater: z or 2/49?
z
Let f = 10778/3 + -3599. Is 70 greater than or equal to f?
True
Let n = -856071/1581349 - -39/13069. Let i = n - 4/121. Which is bigger: -8 or i?
i
Let f = -228.72 + 140.09. Let l = f + 88. Which is greater: l or -0.4?
-0.4
Suppose 5*s + 5275 = 5*d, 60*s = 65*s + 5*d + 5225. Are -1051 and s equal?
False
Suppose 2*q = -5*t - 275, -2*q = 5*t - t + 218. Suppose d = -76 + 361. Suppose 4*n = -n - d. Is t != n?
False
Let f be -957 - (20/(-25))/(4/20). Is -954 less than f?
True
Let r be (-9558)/12555 + -3*2/(-10). Are r and 1 nonequal?
True
Let k = -0.084 - 5.226. Let y = 5.57 + k. Is y > -0.04?
True
Let m(y) = -9*y + 40. Let s be m(5). Let v be 0/(((-50)/s)/(-5)). Is v smaller than 2?
True
Let o(i) = -2*i**2 + 3*i + 118. Let m(h) = -2*h**2 + h. Let n(v) = -2*m(v) + o(v). Let f be n(0). Which is smaller: f or 117?
117
Let o = -1406 + 797. Let c = 1016 + o. Is c less than or equal to 408?
True
Let d(g) = 32*g**2 - 83*g - 138. Let h be d(3). Let r be 1*(-2 - -3)*-97. Which is smaller: r or h?
h
Let h be (-1 - (0 - 0))*(-105)/(2100/(-113480)). Which is smaller: -5673 or h?
h
Let l = 0.2 - 0.2. Let a = 3.32 + -1. Let m = -19.32 + a. Is m greater than l?
False
Suppose 9 = -3*o + 3*g, 2*g + g = 3. Let x be 3*o*(-10)/(-12). Let w(y) = -3*y - 18. Let v be w(x). Which is greater: v or -6?
v
Suppose h + 10 = -2*j, -2*h + 3*j = j - 10. Let t be (6/12)/((-1)/4). Let c be (-2 - t) + (-3)/(-27). Is c > h?
True
Let z be (-3)/(-6) + (-42)/68. Let y = z - -21/34. Let f = -1.89 + 1.9. Are y and f unequal?
True
Suppose 5*k + 1402 = 3*y, -3*k - 3*y = 2*k + 1408. Let r = -20846 - -20565. Is k > r?
False
Let c(w) = w**3 + 8*w**2 + 3*w. Let a be c(-8). Let f = 2 + -5. Let k be f + 7 - a/(-7). Which is greater: k or 1?
1
Let h be 8/(-2) - -23 - -5. Let l be h/(-276)*(-2)/22. Is l >= 1?
False
Suppose 14*i - 13*i + 204 = 0. Which is smaller: -613/3 or i?
-613/3
Suppose -3*j + x = 5*x - 9, -x = -2*j + 6. Suppose -j*k + 31 = 298. Let n = 47 + k. Do -41 and n have the same value?
False
Let s be (-3)/9 + (-19)/(-66). Let h(q) = -6*q**2 + 15*q + 27. Let j(w) = w**2 - 2*w - 4. Let m(p) = 4*h(p) + 27*j(p). Let z be m(-2). Which is greater: z or s?
z
Let y be 6/14 - (-320074)/133. Which is smaller: 2408 or y?
y
Let n = 26 + -16. Let c be (28/n)/((-32)/(-8)). Let q = 50 + -49. Are q and c non-equal?
True
Let k = 115.56 - 112.56. Suppose 4*o = -w - 25, o + 3*o = -12. Let d = w + 24. Is k greater than or equal to d?
False
Suppose 8332 - 8320 = 12*n. Is n smaller than -21/130?
False
Let f = -435286914908748125653112283614025/5164168514 + 84289835571533041117353. Let b = f + 2/69786061. Let u = 1631/2 + b. Is 1 less than u?
False
Suppose 24*r - 20*r = 0. Suppose r = 5*c - 5*y - 105, 2*c + 3*y = y + 58. Let x = c - 17. Is x at most as big as 9?
True
Let k be -2 + 2 + 2/107. Let u be (18/(-11))/(24/16) + (-33)/(-363). Which is smaller: u or k?
u
Let s be (-181)/(3 + -1*8). Let p = 43811 - 43776. Are s and p nonequal?
True
Let r = -2921 - -40913/14. Is 1 at least r?
False
Suppose -4*h = 3*y + 209, y = 5*h - h + 213. Let q = -51 - h. Suppose q = -7*t - 5. Which is smaller: t or -6/7?
t
Let r = 0.006 + 0.494. Let j = -7 + 6. Let m = j + 1.06. Which is bigger: m or r?
r
Let d = -83/34 - -4295/102. Which is greater: d or 41?
41
Suppose 0 = -287*v + 325*v + 2812. Suppose w - 87 = -1. Let o = v + w. Which is bigger: o or -1/2?
o
Let v = 34 + -47. Let i be ((-182)/(-13) + v)*(5 - 0). Are 21/5 and i equal?
False
Let h(t) = -11*t - 39. Let k be h(-5). Let x be (4 - (3 + -2)) + -2. Let o be (-536)/(-36) - x/(-9). Which is greater: o or k?
k
Suppose -46*n + 44*n + 4*o + 24 = 0, -2*o = -4*n + 12. Let d be (1*1/96)/6. Which is smaller: n or d?
n
Let y be (0 + -3)*1/3. Let n be -1 - (5742/(-1152) + 4). Which is bigger: n or y?
n
Let p(m) be the first derivative of -m**3/3 + 15*m**2/2 - 51*m + 273. Let q be p(10). Let z be (-2)/(-3) - 2/4. Which is greater: q or z?
z
Let a = 29142 - 29137.5. Are a and 192 unequal?
True
Suppose 2*r - 4 = -2*z, 5 + 5 = 2*z - r. Let f be z*1 + 22 + -18. Is f bigger than 6?
True
Let h be (971/(-1379) - (-560)/784)/(-1*2). Which is smaller: h or 0?
h
Let u = 1.4532 + -75.4532. Is -43 at least as big as u?
True
Let i(a) = a**2 - 3*a - 13. Let x be i(6). Suppose -5*s + x*b = -370, -s + 120 - 48 = -2*b. Let p = -307/4 + s. Which is bigger: 0 or p?
0
Let l(m) = 99*m + 45. Suppose 0 = 50*g - 51*g - 4. Let p be l(g). Do p and -350 have different values?
True
Let n = -322 + 324. Let t(p) = 5*p**2 - 11*p + 3. Let x be t(n). Which is bigger: x or 5/12?
x
Let j = -0.3467 + 1664.3467. Is 1 <= j?
True
Let h = 98 - 96. Suppose a + 2 = j, -a - j - j = h. Let i be 3 - (a - 247/(-49)). Is -1 at least i?
False
Let v be 9 + (-6 - -5) + 9/(-1). Is v >= 3/1681?
False
Suppose -3*a - 48 = -45, -4*u + 4*a = -988. Which is smaller: u or 241?
241
Let k = -17615 + 17615.9. Are -427/4 and k unequal?
True
Suppose 138*k = 150*k + 3588. Which is bigger: k or -0.1?
-0.1
Let y = -2273/1254 + 5/66. Is -7 <= y?
True
Suppose -53 = 3*r - 107. Let h be (0 - 2) + 6 - 204/r. Which is greater: -8 or h?
h
Let p(y) = 6*y**2 + 5*y - 5. Let d be p(8). Let q(j) = 5*j**3 - 28*j**2 - j + 83. Let s be q(7). Is s <= d?
True
Let t = -195 - -254. Let i = -173 + t. Which is smaller: -115 or i?
-115
Let