(0 - -1). Which is bigger: o or y?
y
Let h(f) = 18*f - 16. Let x be h(6). Suppose 52*v = 48*v + x. Let w = -23 + v. Which is smaller: 2 or w?
w
Suppose 32*h = -627 - 685. Do -23 and h have different values?
True
Let x be (1/(-2))/((-1)/12). Let n(w) = 3*w**3 + 322*w**2 + 109*w + 296. Let i be n(-107). Suppose -x*l = i + 194. Is l at most -47?
False
Let s(r) = 9*r + 13. Let t be s(5). Let m = 55 - t. Is m equal to -3?
True
Let x(h) = 5*h**3 + 112*h**2 + 46*h - 23. Let o be x(-22). Which is bigger: o or -180?
o
Let q = 13291/4 - 3321. Which is greater: -0.101 or q?
q
Let g = 1061.67 + -1061.7. Which is greater: -16/3 or g?
g
Let v be ((-61)/4)/(((-6)/8)/(-3)). Let m be 1/(-3*(-8)/(-1464)). Does v = m?
True
Let t = 83.11 + -1.11. Let m = t - 124. Let p = -44 - m. Do 5/7 and p have different values?
True
Suppose 13 = 2*h - b, 18*h - 22*h = b - 11. Suppose 17*v + 312 = h*v. Is -0.9 bigger than v?
True
Let j = -18.006 + 17.906. Let l = 4 - 8. Let r = 2 + l. Which is smaller: r or j?
r
Suppose 5*c - 42*b + 46*b = -142, -4*c = b + 118. Is c at least as big as -0.06?
False
Let f = 102.237 + -0.237. Let t = f - 100. Let u = 6264/31 - 202. Which is bigger: u or t?
t
Suppose -5*c + 4*m = 160, -5*m + 53 = -c - 0*c. Let r(g) = g + 29. Let a be r(c). Is a at most -5/68?
False
Suppose 977 = -y + 2*i, 5*y - 7*i = -4*i - 4906. Which is bigger: y or -982?
-982
Suppose 31 = 3*c + v, -7*v = 5*c - 3*v - 61. Let s = -1257 - -1263. Are s and c non-equal?
True
Let v be (-12)/(-3)*(-2)/95. Let g = -183473 + 183472. Is g greater than or equal to v?
False
Let t(u) be the second derivative of 3*u**5/20 - u**4 + u**3 - 7*u**2/2 + 102*u. Let c be t(4). Does 24 = c?
False
Let y = 291036542/3415 + -85223. Which is smaller: y or 0?
y
Suppose -4*d - 53*w + 55*w = 2, 4*d - 4*w + 8 = 0. Which is bigger: d or 6899?
6899
Let k = 375 - 361. Let f be (19/k)/((-10)/20). Is f at most -4?
False
Suppose 186*s - 1 + 1 = 135*s. Which is greater: s or 351?
351
Let w be (-5688891)/1921660 - (-3)/(2 - 1). Let j = -17/380 + w. Which is greater: 1 or j?
1
Let p be 3 - (1 + -2 + 62/16). Let u = -27/8 + p. Is u greater than -2?
False
Let o(v) = 26*v**2 + 2*v + 3. Let d be o(-1). Suppose d*h - 31*h + 116 = 0. Is h at most as big as 29?
True
Suppose p - 13 = -2*k, -3*k + p + 37 = 6*p. Suppose -k = -6*f + 2*f. Let g = 607 - 607. Which is bigger: g or f?
f
Suppose n = -2*a + 30, -21*n + 5*a = -24*n + 91. Suppose -n*g + 120 = 8*g. Is g smaller than 84/23?
True
Let g = 2/71619 + -95494/71619. Suppose 3*y + 120 = -y. Which is greater: g or y?
g
Suppose 194*u = 58*u - 22712. Do u and -156 have the same value?
False
Let d = -612.97 + 4.97. Let j = -607.7 - d. Suppose t = 5*t - 4. Does j = t?
False
Let x = 566939/105 + -16198/3. Suppose 4*m - 3 = -7, 4*q = -5*m - 9. Which is smaller: x or q?
q
Let o = -25.59 + 25.498. Is -4 greater than or equal to o?
False
Suppose 7*o - 49260 = 6152. Is 7915 equal to o?
False
Suppose -l + 14*l + 11*l = -2736. Which is bigger: -94 or l?
-94
Let i = 75.6 - 15.5. Let a = -0.7 + i. Let h = 56 - a. Are h and 0 unequal?
True
Let a be (3/6)/(2/(-12)). Let j be (32 - -19)*(-2 + -1 - (-14)/6). Are j and a nonequal?
True
Let i be (-1 + 7 - 0)/3. Suppose -i*b + 21 = 25, 2*d - 4*b = 36. Is 25 != d?
True
Let l = 0.2 - 0.28. Let d = 50 + -51.44. Let k = d + 1.24. Is l less than k?
False
Let p = -18374 + 26110. Which is greater: 7735 or p?
p
Let w = 12.19 - 0.19. Let r = w + -10.6. Let k = 69585 - 69584.97. Which is smaller: r or k?
k
Suppose 4*h - 3*r + 4 = 0, -5*r - 1 = 5*h + 4. Let w = 97 + -349. Let d be -5 + (-4)/w*303. Are h and d equal?
False
Let i = 9 - 45. Suppose -74*v - 5*k = -77*v - 69, 0 = k + 6. Are v and i unequal?
True
Suppose -184*w + 21605 = 63*w - 20632. Which is greater: w or 341/2?
w
Let z be -2 + 6129/10 - 3*16/(-480). Is z less than 617?
True
Let k be (1*(-3 + (-130)/(-39)))/(82/38). Which is greater: k or 0.1?
k
Let d = 12 - 16. Let g = -2 - d. Suppose -4 + 2 = -g*p. Which is greater: 2/123 or p?
p
Let f = 497 + -424. Suppose -4*z = -129 + f. Is z > 14?
False
Let c(o) = -o**3 + 45*o**2 - 504*o - 47. Let f be c(23). Let d = -14776 - -5156828/349. Is f != d?
True
Let p(x) = -x**2 + 5*x - 9. Let h(a) = a**3 + 4. Let f be h(0). Let z be p(f). Let o be (-384)/(-885) - (-2)/z. Which is greater: 1 or o?
1
Let s = -0.27 + 2.27. Let j = s + 44. Let n = 45 - j. Do 1 and n have different values?
True
Let z(i) = -i**2 + 4*i + 5. Let a be z(0). Let p be 1*a + (-17)/(-153)*-9. Is p smaller than 70/17?
True
Suppose 0 = -5*w + 1 - 16. Let h be (12/8)/(6/(-20))*139. Let o = h + 5543/8. Which is greater: o or w?
o
Let x(p) = -5*p + 2. Let l be x(1). Let f be ((-4)/(-6))/(l/162). Let z be 3/f*38*-2. Is 5 < z?
True
Let u = 13406 - 16206. Do u and -2801 have different values?
True
Let z be (2/(-92))/(12/(-72)). Which is greater: z or -1?
z
Let s(h) = h**3 + 8*h**2 - 2*h + 40. Let j be s(-8). Let g be 48/j*126/10. Is 11 >= g?
True
Suppose -4 = 15*x + 176. Let g be (x/(-28))/(3/21). Which is greater: g or 23?
23
Let u(b) = 16*b - 58. Let i be u(3). Let g be (16/i + -1)*30/(-108). Is g > 0?
True
Let h = -10.039 + 10.239. Let k = 0.52 + -33.52. Do h and k have the same value?
False
Let s = 2.858 - 2.958. Is -523 less than or equal to s?
True
Let u = 32363 - 9741308/301. Let w = u - 12/43. Which is smaller: w or -8?
-8
Suppose 0*u + 4*u + 243 = -5*l, 99 = -2*u + 5*l. Let b = 61 + u. Let m be ((-414)/b)/(-9) + (-2)/4. Which is smaller: m or 2?
2
Let y(d) = 294*d**3 + d**2 + 9*d - 11. Let j(v) = 18*v + 91. Let q be j(-5). Let h be y(q). Does h = 295?
False
Let u(n) = n**3 - 9*n**2 - 8*n + 15. Let f be u(1). Which is bigger: 2/32539 or f?
2/32539
Let h(y) = -1451*y**2 - 26*y - 48. Let g be h(-3). Which is smaller: -13028 or g?
g
Let u(b) = -b**3 - 9*b**2 - 7*b + 1. Let t = 16 - 23. Let q be u(t). Let a be 42/q - (1 + 1)/(-2). Is a less than or equal to 1?
True
Let y = 30.95 + -31. Let i = -27 + 31.7. Let h = i + -10.7. Is h at most y?
True
Let g be (-10 - (5 - 4))/(-1). Suppose 7*n = g*n - 8. Are n and -2/251 non-equal?
True
Suppose 3*c = 8*c + 5. Let t be 20/48 + (c - -1). Let h be (-18)/(-12) - (-2)/(6 + -10). Is h smaller than t?
False
Let l(r) = -246*r + 198. Let k be l(-7). Is k >= 1920?
True
Let p = -82607/2106 + 510/13. Which is greater: -1 or p?
p
Suppose -b + 472 = -5*u, 5*u = -3*b + 7*u + 1520. Is 512 >= b?
True
Let j be (9 + -2 + -7)/(-4 - -3). Which is bigger: -1/4219 or j?
j
Let g be (-21)/(-6)*2 - (-13 + 9). Let c(j) = j - 12. Let o be c(g). Which is smaller: 3/7 or o?
o
Let m(j) = -4*j**2 - 51*j - 46. Let h be m(-20). Let f = h - -625. Which is smaller: f or -22/13?
-22/13
Let m = 0.861 + -1.861. Which is bigger: 3985 or m?
3985
Let b = -96478 - -42739777/443. Which is bigger: b or 0?
b
Let r(c) = 101*c - 51. Let g be r(21). Suppose 5*v + 6*z = z + g, 3*z = -4*v + 1660. Is v equal to 418?
True
Let y = -16 + 47. Let p = -17 + y. Let t(h) = -2*h + 36. Let f be t(19). Are p and f nonequal?
True
Let z(f) = -1561*f - 705. Let l be z(-3). Is 3978 bigger than l?
False
Let s = 307 - 306. Let t be 11/220*12 + s + -2. Which is smaller: t or -15.5?
-15.5
Let a(v) = 4*v + 1. Let h be a(-2). Let x = -26 + 26. Let u be 15/(-25)*(x + 15). Which is greater: h or u?
h
Suppose -111*z - 142*z + 204*z + 81340 = 0. Which is greater: z or 1661?
1661
Let l = -96 + 96.019. Let g be 47/(-52) + (-54)/(-72). Which is greater: g or l?
l
Suppose 3*g = -337 + 346, 0 = 3*z + g - 1062. Which is smaller: z or 1057/3?
1057/3
Suppose 2*f = -51 + 275. Let l = f + -114. Let z be (1/1)/(l/14). Which is bigger: -8 or z?
z
Let l = 12.9 + -15.9. Is -103 less than l?
True
Let t = -438 + 428.14. Let i = 113.86 + t. Does i = 2?
False
Let c = 1030565551071/3107 + -331691516. Let l = 8/239 - c. Is l smaller than -2?
True
Let c be -4 - 0 - 446/(-111). Suppose -10*p + 15*p - 250 = 0. Let q = p + -51. Is c less than q?
False
Let u = -723 + 693. Let v = 0.047 + -33.047. Let r = u - v. Which is bigger: r or 4/3?
r
Suppose -10*x - 8 = -58. Let h = 41 - 41.2. Which is greater: h or x?
x
Let x be (-9 - 1)*244/8. Let v = 306 + x. Do v and -10 have the same value?
False
Let u = -1291 - -14120/11. Which is smaller: 1 or u?
u
Let m(f) = 11*f - 132. Let b be m(10). Let s = b - -16. Let w = 2 - 8. Is w >= s?
True
Let d = 0.224671 