113. Which is smaller: q or 0?
q
Let w = 7883258/173 + -45568. Is w less than -2?
False
Let z(f) = -3*f**3 + 32*f**2 + 12*f - 15. Let g be z(11). Which is greater: g or -138/55?
-138/55
Let u = -148.66 - -148.63. Which is smaller: 0.394 or u?
u
Let d be (6/20)/((-490)/(-28) - 18). Let f be ((-42)/(-63))/(2/9). Do d and f have the same value?
False
Let a = -71604 + 71638.057. Let b = a + -34. Let m = -0.037 + b. Is -0.1 at most m?
True
Let p = 4/4759 - -9506/14277. Let v = -0.31 + 44.31. Let n = 44.062 - v. Is p smaller than n?
False
Let i = -0.006 + 0.044. Let w = i - -1.962. Let s = 2 - 2. Which is smaller: s or w?
s
Let b = 5/112 - 3/16. Let f = b + -5/14. Let p(r) = r**2 + 70*r + 1174. Let d be p(-35). Which is smaller: d or f?
d
Let p = 2.68 - 242.68. Let r = p + 221. Let g = -0.9 - -0.8. Which is bigger: r or g?
g
Suppose 0 = 5*b + 6*p + p + 41 - 16, 5*p = 0. Does b = -9?
False
Suppose 0 = -2*s - 2*w + 120, 2*s - 2*w + 40 - 156 = 0. Which is bigger: 62 or s?
62
Let o = 0.1 + -1.1. Let c = 18430 - 18505. Does o = c?
False
Let r = 14372 - 14370. Is r < 194/121?
False
Suppose -1964 = -4*r + 4*z, -1445 = -5*r + z + 1026. Which is smaller: 492 or r?
492
Let r = 23538 - 136449784/5797. Which is greater: r or 0?
r
Let o = 1.8 + -1.758. Let s = o - 4.642. Let f = -3.6 - s. Are -1.3 and f nonequal?
True
Let h(k) = 5*k - 16. Let v be h(5). Let y be v/(-6)*1/((-3)/48). Suppose 0 = 4*a + 4*s + y, -a + 3*s = -0*a + 10. Are a and -31/4 nonequal?
True
Suppose -2*o - 1822 = -4*i, 2*o + 926 = -3*i + 2296. Let w be 95/i + (-1)/(-8). Are w and -82 nonequal?
True
Suppose -z = 4*z + 3*m - 90, 2*m - 90 = -5*z. Let s be (63/5)/(z/60). Let k be (28/s)/((-4)/174). Do k and -29 have the same value?
True
Let z = -85 - -94. Suppose -12 - 420 = z*d. Let m = 38 + d. Is -12 <= m?
True
Suppose 0 = -9*c + 753 - 141. Is c greater than 747/11?
True
Let m(d) = -165*d - 352. Let c be m(-17). Suppose 0 = c*f - 2455*f - 8. Let b be 54/(-10) + (-2)/(-5). Which is bigger: b or f?
f
Let f = -13.262 + 13.192. Let w = 0.5 + -0.59. Do f and w have different values?
True
Suppose -152*m = 1611 + 12069. Which is greater: -274/3 or m?
m
Suppose -w - 5*q - 20 = 0, 3*q + 22 = -4*w - 7. Which is smaller: -34/9 or w?
w
Let u be (-6)/(-3) - (1 + -3 + -20). Suppose 0 = -6*i + 12 + u. Let q be (-450)/348 + 9/i. Is q less than 0?
False
Let i be 181*(-3 + (-6 - -8)) + -1. Are i and -0.2 non-equal?
True
Suppose 93 + 207 = -6*k. Let t = k + 45. Let z be (t/(-250))/(4*2/20). Is z at most as big as 1?
True
Let h = 1862143 + -12976328/7. Let i = 8396 - h. Are i and 13 nonequal?
True
Let o be 4158/12903 + (-4)/46. Suppose j - 2*k = 11, -k + 3*k = 5*j - 31. Suppose 2*n + 2*n + j*w + 10 = 0, 2*n - 3*w = 6. Is n smaller than o?
True
Let q = 6.14 - 2.14. Is -54 less than or equal to q?
True
Suppose 0 = 323*a - 327*a - l - 81, 2*a - 4*l + 18 = 0. Is a at least -263/13?
True
Let x be ((-10)/75)/((-8)/(-3480)). Which is smaller: 8/15 or x?
x
Suppose 13 = 4*y + a - 0*a, -3*a = 3*y - 12. Let k(x) = -x**3 + 15*x**2 - 3*x - 13. Let w be k(15). Let z = w + 63. Which is smaller: z or y?
y
Suppose 0 = 4*p + 18*p + 396. Let i be (-4)/p + (-3 - 134/(-45)). Let r be (-5 - -6)*2/(-14). Are i and r nonequal?
True
Suppose 0 = 9*d + 36 + 81. Suppose r - 5*u = 2 - 13, 22 = -2*r - 4*u. Which is smaller: r or d?
d
Let r = -3143/4 - -103739/132. Is r at most as big as -2/11?
False
Let a = 24 + -19.6. Let y = -1.4 - a. Suppose 5*x + 14*x = 0. Is x at least as big as y?
True
Let l(b) = -5*b**2 - 37*b - 24. Let t = 313 + -320. Let i be l(t). Suppose 2*g + 36 = -2*g. Which is smaller: i or g?
i
Let b be ((-3)/2)/(-2*18/17088). Are b and 713 nonequal?
True
Let s(f) = -2*f**3 + 12*f**2 + 9*f - 2. Let z be s(7). Let u be 4/16 + 85/(-4). Let m be (-3)/(-2)*(-3 + u). Which is smaller: m or z?
z
Let c be 1/(((-1638)/49)/26). Suppose 5 + 0 = v. Let d be 2/v - (-2)/(-5). Which is greater: c or d?
d
Let h be 1*14 - 1 - (9 + -11). Suppose s = -b + 1 - 3, h = -3*s. Is 2 bigger than b?
False
Let d = 355 - 356.21. Let w = 309 + -311. Which is greater: w or d?
d
Suppose 0 = -5*o + 6*r - 7*r - 51, 5*o - 2*r + 48 = 0. Let g be ((-3)/(-2))/(5/o + 2). Which is smaller: 3/35 or g?
3/35
Suppose 4*d + 3*j = -117, 0*d + d + 4*j = -13. Let s be d - (-1 + 5)/(4/(-2)). Suppose 0 = 4*k + 25 - 5, 2*m = 3*k - 49. Which is bigger: s or m?
s
Let f = -6923 + 289697/42. Let b = 170/7 + f. Is 0 > b?
True
Let a be 886/(-252) + ((-52)/(-7) - 7). Let f = -37/14 - a. Is -1 less than f?
True
Suppose 38 + 16 = 3*f. Let j(x) = -3*x**2 - 3*x + 53. Let g be j(14). Let z = -562 - g. Is z at most as big as f?
True
Let r = -122054/33 + 3699. Let s be -1 - (-3 + 331/165). Let o = s - r. Which is smaller: o or -10?
-10
Let d = 10/737 + -85495/54538. Is -3 at most d?
True
Let i = -248 + 247. Let r = 29 + -44. Let c be ((-3)/(-4))/(6/r). Are c and i unequal?
True
Let l = -6193.1 - -6193. Which is smaller: -0.3405 or l?
-0.3405
Suppose 0 = 80*v - 165*v + 150705. Is v less than 1775?
True
Suppose 4*t = -2*j + 90, -3*j = 6*t - 5*t - 15. Let y be (12/38)/(t/32). Let p = 277 - 277. Are y and p nonequal?
True
Let y(b) = b - 3. Let o be y(5). Let k = 3 - o. Let n = -527/2 + 265. Is n bigger than k?
True
Let m(u) = -u**2 + 14*u - 24. Let y be m(12). Suppose y = -5*w - 10, -3*j + 2*w = 5*w - 3. Suppose -4*v + 116 = v + j*p, 3*v = 5*p + 90. Is v != -2?
True
Let s be ((-194)/(-3) + 0)/((-1288)/210 + 6). Which is smaller: s or -465?
s
Let q be (-6721)/(-33) - -8 - 2/((-24)/(-20)). Is q smaller than 214?
True
Suppose -o + 5*t - 30 = 0, 5*o = 296*t - 299*t - 38. Let i = 4 - -56. Let p be (-4)/o - ((-16)/i + 6). Does p = -4?
False
Let m be 88/15 - 1 - (-28)/210. Let o(l) = -4*l**2 + 3*l + 11. Let u be o(m). Is -72 at least u?
True
Let y = 346 + -416. Let j be (-2)/(-8) + (4 - y/8). Is j >= 15?
False
Suppose -9883 = -73*i - 20203 + 87043. Which is smaller: i or 1052?
i
Suppose 0 = 3*c + 6, -4*h - 384*c + 388*c - 1828 = 0. Which is smaller: h or -458?
h
Let o = 1005 + -1004.191. Let w = 0.609 - o. Are 0.239 and w non-equal?
True
Let h = 841 + -843.236. Let v = h + 0.236. Is 3 > v?
True
Let s be 248/620 + 656/10. Do s and 62 have the same value?
False
Let p = 5.09 + -0.09. Suppose 28*d - d = 7290. Let g be 24/d*5*3/4. Is p less than or equal to g?
False
Let h = -5243/2 - -2622. Is 854 greater than h?
True
Let u be -3 + 3*(-5)/30*-10. Let h = 3 - u. Do -17 and h have the same value?
False
Let c(d) = 1. Let p(k) = 2*k - 36. Let l(g) = -12*c(g) - p(g). Let n be l(0). Suppose -z - 96 = -5*z. Is z > n?
False
Let h = -34994 + 34947. Let j(p) = p**3 - 8*p**2 + 5*p - 4. Let c be j(6). Is h <= c?
True
Let r be (-7*(-17)/(-357))/((0 - -1)/(-9)). Is r smaller than -53?
False
Let n = -678 + 463. Let l = -181 - n. Is 36 greater than l?
True
Let o be (25/(-10) - (-4325)/290)*4/(-5). Is -11 greater than o?
False
Let c = 30 + -30. Suppose 3*w - 2*b = 7, c = -4*w - 4*b - 1 - 3. Let d be -3 - w - (-4 + 4 + -2). Which is greater: d or -17/6?
d
Let y = -0.4 + 0.3. Let s be 52/(-42) + 3 + 1 + -3. Let a = s + -23/21. Which is bigger: y or a?
y
Let y = -23642 + 23014. Are y and -620 unequal?
True
Let j be (((-230)/20)/(-23))/((-7)/(-215446)). Is j < 15389?
False
Let l(g) = -g**2 - 129*g - 818. Let x be l(-7). Are -0.09 and x nonequal?
True
Let u = 710 + -697. Let p = -1.23 - -0.13. Which is bigger: u or p?
u
Let h = 9485 + -9484. Suppose 3*j = 3*q + 90, 5*q + 66 + 18 = 3*j. Is j at least as big as h?
True
Let d = -1642 - -1643. Which is smaller: d or 33/70?
33/70
Suppose 0 = -2*d - 4*t - 10, -d - 4*t - 3 - 2 = 0. Let o be (-4)/(-13) + 645/(-195). Let s be o + (98/20 - (-2)/d). Which is smaller: s or 2?
s
Let g = -14913 - -14879. Which is bigger: 212 or g?
212
Let b = -45.0222002 + 0.0222002. Suppose 4*x - 32 = 3*q, 0*q + 4*q = -3*x - 1. Which is bigger: b or x?
x
Let q be ((-12850)/(-22))/((-16 - -10)/18). Let a = q + 1750. Is -0.1 >= a?
True
Let n = -8191 + 9890. Which is smaller: 1697 or n?
1697
Suppose 8*n = 234 + 54. Suppose -n = -0*p - p. Let f = p + -41. Which is smaller: f or -2?
f
Let o(z) = -z + 6. Let t be o(2). Suppose -4*w - 2*i = -0*i + 32, -t*i = -5*w - 14. Let f be (-12)/(-15)*((-75)/w)/5. Which is smaller: -1 or f?
-1
Let m = 3 - 4. Let l be -2 - (856/(-5112))/(1/12). Is l greater than or equal to