s m greater than or equal to 2/38363?
True
Let v be (124 + -97)*1/(-3)*1074/(-477). Which is smaller: 19 or v?
19
Let w = 119591 + -132148046/1105. Is 1 < w?
False
Let d(p) = 20*p + 72. Let y be d(0). Suppose 11*n = 5*n - y. Which is greater: n or -1?
-1
Let c(h) = 3*h - 3. Let a be c(2). Let s be (2/a)/(3/108). Let i = 1307 + -1284. Which is greater: i or s?
s
Let o = -2564.5 + 2565. Which is smaller: 10/11 or o?
o
Let w = -4843 - -1603. Let k = w - -12885/4. Is k bigger than -19?
True
Let a be (-114)/4*(-572)/(-5478) - -3. Let h be 2/(-4) + 21/42. Suppose -2*y - 2*r - 8 = 0, -y + 4*r + 12 - 1 = h. Is a equal to y?
False
Suppose 22*o - 23*o = -9. Let i be (-12)/((27/(-26))/o). Let x = 104 - i. Which is smaller: x or 14/17?
x
Let f(r) = -21*r - 13. Let h(z) = 22*z + 11. Let c(m) = 5*f(m) + 4*h(m). Let p be c(0). Let v = -19 + -1. Is v less than or equal to p?
False
Let l be (39/132 + 0)/(10/40). Which is greater: 1.3 or l?
1.3
Let q(i) = -12*i + 76 - 15*i - i**2 + 19*i - 15*i. Let w be q(-26). Let d be 3*4/18*-3. Is d at least as big as w?
True
Suppose -19*n + 20*n - 2*u - 203 = 0, -n - 2*u + 195 = 0. Is 2606/13 <= n?
False
Suppose 4*i - 5*o - 21 = 0, 5*i + 1 - 23 = 2*o. Suppose 2*w = -i*t, -3*w = -3*t + w + 11. Which is smaller: t or 4/79?
4/79
Let c be (1152/45)/16*5/2. Suppose -c*j = 3*y - 895, 3*j = 3*y - 481 - 386. Are y and 294 nonequal?
True
Suppose -9 = -5*b - 2*c, b - 49*c + 51*c + 3 = 0. Suppose -b*n = n - 4. Which is bigger: 1/537 or n?
n
Let z = 1.9214 - 0.2214. Let q = 1/3 - 4/9. Is q at least as big as z?
False
Let l = 343 + -336.5. Let f = 6.4 - l. Is -1.83 less than f?
True
Let g = -46.9032 - 0.0968. Which is greater: -1/78 or g?
-1/78
Let o = 0.023 - -0.077. Let y be (-2)/2 - (-209)/211. Which is bigger: o or y?
o
Let w = 353514 + -353515. Let l be ((-4)/6)/(442/(-6)). Which is smaller: l or w?
w
Let w = 0.7179 + 0.2821. Which is bigger: w or 1024?
1024
Let c = 422 + -3983. Is c > -3560?
False
Suppose -3*f + 249 = -4*f + 2*o, 0 = o + 4. Which is smaller: -252 or f?
f
Suppose 0 = -2*w - a + 10, -3*w + 3 + 2 = -a. Let t = -1 + w. Let k = 306 + -1518/5. Are t and k non-equal?
True
Let t be 80/(-10) + (-9)/((-54)/48). Which is greater: 363 or t?
363
Suppose -m + 4*i + 78 = 0, -118*m - i + 147 = -116*m. Is 72 < m?
True
Suppose -209*h - 10012 - 1054634 = 0. Is -5097 less than or equal to h?
True
Let l be 4/1 + (316 - -2) - 3. Let c = 358 - l. Is c smaller than 77/2?
False
Let n be 2/(-8) - 18/(-45). Let p(d) = d + 7. Let x be p(-9). Is x at least n?
False
Let n(k) = -k**2 - 9*k + 9. Let b be n(1). Is b less than or equal to 1/1122?
True
Suppose j - 6 = 3*j. Suppose 159*f - 7 = 166*f. Let g be (66 + -6)*1*f/22. Is g > j?
True
Let u = -1364 + 1326. Let i(t) = -12*t + 11. Let d be i(4). Which is greater: u or d?
d
Let c = 49391/40 + -1643/8. Which is bigger: c or 1030?
1030
Let p = -285 + 284.3. Which is smaller: -2/9 or p?
p
Let p(s) = s + 12. Let o be p(-36). Let f be (o - -16)*(-1)/(-2). Is f smaller than -48?
False
Let v = 4.252 - 0.252. Is v greater than or equal to -314?
True
Let f = -0.2284 - -0.181. Let h = f - 0.0526. Which is greater: 153 or h?
153
Let b = 0.399 + 52.401. Let q = -1065 + 1118. Let c = q - b. Do c and -17 have the same value?
False
Let f = -18.22 - -18.63. Is f bigger than 6?
False
Let r = -34.037 - -34. Let p = r - 0.263. Is p not equal to -0.3?
False
Let i(h) = -h**2 - 9*h - 6. Let j be i(-9). Let q be (-21)/(-2)*j/3. Which is smaller: -16 or q?
q
Suppose -3*r = c - 5, -c - 12 = -5*r + c. Let k be 6 + ((-1)/(-2))/(r/(-4)). Suppose -3*d - 255 = 5*x - 4*d, -k*x - 4*d = 280. Which is greater: -1 or x?
-1
Let y = 4523.98 + -4470. Let b = -54 + y. Let h = -0.08 + b. Is h greater than -20?
True
Suppose -4*c - 17 = -3*h, -34 = -4*h - 2*c - 4. Let w(u) = u**2 - 15*u + 59. Let o be w(h). Which is greater: 11 or o?
11
Suppose -6*i - 4*v - 316 = -2*i, -157 = 2*i + 3*v. Let s be (-2*(-8)/i)/(1/(-93)). Are 19 and s equal?
False
Let t be ((-4)/(-64))/(55/880). Let f be (-86)/(-28) + (-2 - 0). Which is smaller: f or t?
t
Let t(r) = -r**3 + 57*r**2 - 256*r - 178. Let i be t(52). Is i equal to 620/21?
False
Suppose -720*n = -719*n. Which is smaller: n or 20/103?
n
Let w = 286822/5 - 85430511/1490. Let l = 2/149 + w. Is l < 29?
True
Let l = 17260 - 17259.9. Is l at least as big as 0.2305?
False
Let d be -6 + (-266964)/(-33366) - (9 + -3 + -4). Which is smaller: d or 0?
0
Let m = 15.935 + -14.935. Which is smaller: m or -2.07?
-2.07
Let m = -58.5 - -64. Let d = 9.5 + m. Let p = d + -15. Which is greater: 1/27 or p?
1/27
Suppose -17*o + 22*o = -5*k, -30 = 4*k - o. Let q(s) = -2*s + 4. Let a be q(3). Let g be (3 + 165/k*-10)/a. Is -139 less than or equal to g?
True
Let d be 1/(-12) + 57703/228. Let n = d + -346. Is n >= -91?
False
Let d be ((-12)/1242)/((-19)/3591). Let w(p) = p**3 + p**2 + p + 3. Let l be w(0). Which is greater: d or l?
l
Let j = 63.33 + -63. Let h = 8.27 + j. Let o = h + -8.8. Does o = -0.27?
False
Suppose 23*t - 25*t + 36 = q, t = 5. Suppose 3*w - 3 = -3*y + 6, 0 = w - 1. Suppose 32 = y*g + 3*a, -4*a + 3*a - q = -3*g. Which is smaller: g or 11?
g
Suppose x - 134 = 2*l, 8*l + x + 206 = 5*l. Let u = 7 + -15. Let q be 2*(-1 - l/u)*-3. Which is greater: q or 58?
58
Suppose 2*j + 4*q = -376, 4*j - 16*q + 767 = -19*q. Which is bigger: -192 or j?
-192
Suppose 14*z - 50383 = -123. Let s be 7 + -6*z/(-60). Which is smaller: s or 365?
365
Let x = -732 + 497. Let q = x + 224. Which is bigger: 1/31 or q?
1/31
Let r be (0 - 40) + -13*19/247. Is r bigger than -3.4?
False
Let p(f) = 4*f**2 + 79*f - 16. Let z be p(-20). Let c(t) = 3*t**3 - 6*t**2 - 10*t + 2. Let k be c(z). Which is smaller: 60 or k?
k
Let p = -4122 - -4123. Is p < -0.04529?
False
Let i be 2740/25146 - (572/(-198) - -3). Which is greater: 0 or i?
0
Let w be (9 + 2 - 23 - -14) + -1. Let d = 0.08 + 0.72. Does d = w?
False
Suppose -2*w + 78 = 5*b - 5*w, 0 = -5*b - 2*w + 98. Let l be (51/b + -3)*(-24)/(-69). Is l less than 1?
True
Let p(a) = -a**3 + 30*a**2 - 58*a + 63. Let l be p(28). Let h be 1 - 4/(-8)*-2. Suppose 10*c - l*c + 3 = h. Which is smaller: 4/17 or c?
c
Let w(y) = y**2 - 36*y + 299. Let j be w(13). Is -2/2003 greater than or equal to j?
False
Let g = 11.4 - 11.402. Let b = 1672 - 1678. Is g greater than b?
True
Let n = 15/4969 + -3761653/39752. Which is greater: n or -96?
n
Suppose -35 = -y - 40, -4*l = 5*y + 2313. Let n = -2861/5 - l. Let r = 1.96 - 2. Which is smaller: n or r?
n
Suppose 7*g = 5*g + 16. Let i be (g - -91) + -2*(-3)/(-6). Let h be i/10 - (-4)/20. Is 9 != h?
True
Suppose -3*m + 5*s + 321 = 8*s, -5*m - 2*s = -550. Let u be (2 - 0)*(-13)/((-91)/m). Is u greater than 214/7?
True
Suppose -35*d = -8*d - 27. Which is smaller: 2/13465 or d?
2/13465
Let l be 291/48 + ((-946)/(-352))/(-43). Suppose -2*t + 0 = 2. Let h be (t + 11)/((-8)/(-4)). Is l not equal to h?
True
Let j = -405 - -408. Let u be ((-51)/(-170))/(j/8). Which is greater: 0.26 or u?
u
Let r = -407 + 9363/23. Suppose 100 = -3*n + 58. Let w be (-14 - n)/(2 + 0). Which is greater: r or w?
r
Let n be (-1*3)/(2/18). Suppose 544*p - 86122 = -99722. Do p and n have the same value?
False
Let q = -24 - -26.9. Let t = 7.46 - 5.46. Which is smaller: q or t?
t
Suppose -2*z + 3*s + 29 = 0, 4*z - 2*s = 2 + 52. Is z < -57?
False
Let h be (1/5 + 28/35)*-97. Let a = h - -112. Suppose 10 = a*t - 20*t. Does 0 = t?
False
Let l = -32 - 12. Let t = -599 + 554.6. Let d = l - t. Which is smaller: d or -1/3?
-1/3
Let t be 8 + -1 + (-5 - 859). Which is greater: t or -867?
t
Let l = -498 + -202. Let y = l - -660. Do y and -43 have the same value?
False
Let j = -18 - -23. Suppose -4*q = j*q - 585. Suppose 14*m - q = 19*m. Is m less than -14?
False
Let x = 4297 - 4300. Are -20 and x unequal?
True
Let b = 2.0562 - 2.2262. Does b = 744?
False
Suppose 0 = -9*b - 18 - 0. Let q be 3/(-8) + 95/40. Suppose -6*m + 11*m + 70 = -c, 0 = c - q*m + 35. Is b >= c?
True
Let n(z) = 12*z - 4. Let h be n(-9). Let k = 181 + h. Let q be (-23)/k - (-58)/(-6). Which is smaller: q or -9?
q
Suppose 2*p - 31 = -25. Let g be 3/(-54)*1*(p - 32). Let y = g - 136/9. Is y smaller than -15?
False
Suppose 3*q - 3*l - 234 = 0, -5*l - 254 = -3*q - 7*l. Let u be (-7)/(-21) + q/(-12). Let s = -25 - -18. Are s and u non-equal?
True
Let n