 bigger: n or 0?
n
Let k = -2775 - -2759. Which is greater: k or -86?
k
Let g be 1*(-2)/6 - (-1196)/78. Which is greater: 3.68 or g?
g
Let y be 1 - (1 + 0 - 2). Let q be -2 + 5 + 2 + (-5)/1. Which is smaller: q or y?
q
Let p(w) = 35*w + 76. Let a be p(-2). Suppose -3*k - q + 54 = -4*q, 2*k = -2*q + 40. Suppose a*n - k = 5. Does 4 = n?
True
Let j = -21633 + 14658. Is j less than -6975?
False
Let m = 9803 - 9803. Which is smaller: 1/19 or m?
m
Suppose -2*g - 3*g = -70. Let s be (-1)/(-3) + (-164)/6. Let h = 40 + s. Is g at least h?
True
Let w = 47 + -94. Suppose -3*f = -15, 5*f - 46 = -3*c - 162. Is c smaller than w?
False
Let w be (-3)/2*(-12)/9. Suppose -w*d + 3*d - 3*f = 27, 3*f = -15. Let x = 12539 - 12526. Which is smaller: x or d?
d
Let h = -0.2 + 0.3. Let d = -103.617263 - -0.038263. Let o = d - -103.6. Is h equal to o?
False
Suppose -5*z - 2*n + 536 + 855 = 0, -5*z - 3*n + 1389 = 0. Let l = 199 - z. Let x be 1*113/(-5) + 32/l. Is -25 at least x?
False
Let r(h) = -7*h**2 - 17*h - 3. Let o(z) = -3*z**2 - 8*z. Let a(k) = 5*o(k) - 2*r(k). Let x be a(1). Which is bigger: 3/73 or x?
3/73
Suppose 190535 - 62015 = -12*m. Let n = m - -3234417/302. Is 0 greater than n?
True
Suppose 5*l - 3 = 8*l. Let m = 2311 + -972929/421. Which is greater: l or m?
m
Let b(p) = -p**3 + 3*p**2 + 5*p - 25. Let i(o) = -3*o**3 + 10*o**2 + 14*o - 74. Let h(t) = 11*b(t) - 4*i(t). Let a be h(7). Is a at least 2?
True
Let f = 52 - 32. Suppose 15*z = f*z - 190. Suppose 4*g - z = -10. Which is smaller: g or 28/5?
28/5
Let r = 1734 + -1771. Is r bigger than -3/5?
False
Let h be 340/3 - (136/(-24))/(-17). Let i = 43 - -73. Is h greater than or equal to i?
False
Let p be (-531)/(-3)*(-5)/105. Let r = 57/7 + p. Let a be 6/9 + 7/12. Is a not equal to r?
True
Let x = -5 - -9. Suppose -o = -3*l - 76, l = -x*l - 5*o - 160. Is l less than -29?
False
Let y be 2*(-4433)/638 - -14. Which is greater: -0.23 or y?
y
Let d = -12.045 + 16.93. Let v = -0.085 + d. Are v and 0.01 unequal?
True
Let w(t) = -t**3 + 7*t**2 + 8*t - 2. Let i be (1/6*-2)/((-9)/297). Let u = i - 3. Let p be w(u). Is -14/23 less than p?
False
Let n = 9.7 + 69.3. Let x = 607 - 685. Let a = x + n. Is a >= 1/14?
True
Let w = -0.6052 + -293.2948. Let q = w + 294. Is -34 at most q?
True
Let q be ((-6)/(-21))/((-99)/77 + 1). Do 5/929 and q have the same value?
False
Let u be (16/(-24))/(264/198). Is u <= 197.4?
True
Suppose -7*o = 137 + 276. Suppose 4*z + 75 = 3*z. Let q = o - z. Is q less than or equal to 18?
True
Let h(z) = 3*z**2 - 18*z + 24. Let i be h(4). Suppose i = 6*r + 6*r + 204. Which is bigger: r or -14?
-14
Suppose -111*p + 114*p + 1044 = 0. Is p < -1387/4?
True
Let i = -28 - -28.068. Let c = -30.068 + i. Let m = c + 29. Is m >= 1/2?
False
Let f be -5*((-2778140)/213700 - -13). Which is bigger: f or 1?
1
Let j = -18721/11992859 - -3/6659. Which is smaller: 1 or j?
j
Suppose -75*o - 367952 = 169*o. Are o and -1512 non-equal?
True
Suppose 4*r = 5*s + 26 + 18, 3*r - 5*s = 33. Which is greater: 130/11 or r?
130/11
Suppose 4*s - 2*q - 8 = 0, 4*s - 3*q - 2 - 6 = 0. Let y(o) = 0 - s + 9 - 6*o + 13. Let j be y(4). Does -2 = j?
False
Let c = -184.91 - 81.09. Which is bigger: -6 or c?
-6
Let t be (-396)/(-12)*(-2)/6. Let r be (24/(-28))/(t/(-28)). Suppose 5*f + 21 = -2*f. Is r greater than f?
True
Let s be 3/(1 + 448/216 + 8/(-108)). Is s > -2/19041?
True
Let b = 354186 - 354220. Let y = -1 - -1. Which is bigger: b or y?
y
Suppose b - 3*d - 105 = 2, -d = -3*b + 329. Suppose -7*j - b = 3*j. Which is smaller: j or -13?
-13
Let v be -2*3/2*(-2)/(-23). Let k = 37 + -39. Let f be (-3 - -4)*(k - -1). Is f > v?
False
Let d(v) = 18*v - 79. Let m be d(2). Let l = 25 - 26. Which is greater: l or m?
l
Suppose -3*p = -2*p + 2. Let r = -0.20516 - -0.62516. Is r not equal to p?
True
Let z be 237/5 - ((-76)/10 + 8). Suppose -53*t = -z*t + 54. Which is smaller: t or 4?
t
Let w(c) = 2*c**3 - 141*c**2 + 54*c + 157. Let z be w(70). Which is greater: z or -2?
-2
Let u = -271 + 271. Suppose -8*s + u*s = 10*s. Is -4/21 less than or equal to s?
True
Let w be (-1)/8*(2 - 1). Let u = -95558 - -95556.4. Is u less than w?
True
Let m = 174/97 + -24551/14065. Let w = -123/145 + m. Which is greater: w or -21?
w
Suppose -63*t + 60*t - 888 = 3*i, 0 = 5*t - i + 1456. Are -5 and t non-equal?
True
Let f = 202/189 - 4751/378. Are -13 and f equal?
False
Suppose 0 = -5*s + 23 + 37. Let k = 74949 + -74928. Which is smaller: k or s?
s
Let u be -2 + 2 + (0 - -6). Let l be (124/22)/((-56025)/(-825) + -67). Which is greater: l or u?
l
Suppose -8875*s + 21832 = -8867*s. Which is greater: 2730 or s?
2730
Let p be (1044/(-172) + 6)/((-6)/(-70)). Is -2 greater than p?
False
Let c = 4.858 - 5.858. Is c at least as big as 2136?
False
Let r = 17222 + -1463831/85. Are 2 and r nonequal?
True
Let z(v) = v**3 + 18*v**2 - 5*v - 3. Let u be z(3). Let m(d) = 6*d**2 + 7*d - 5. Let o be m(-6). Do o and u have the same value?
False
Let x = 247 + -173. Suppose 84 = -4*q + 5*g, 3*g = 3*q + x - 11. Is q != -21?
False
Let y = 0.25147 + -1.25147. Is y bigger than 303/17?
False
Let h be (21/196)/(90/(-240)). Suppose -3*q - 59 = -2*p, -2*p - 5*q = -0*q - 51. Which is smaller: h or p?
h
Let y = -6676237/9 + 743709. Is y <= 1905?
True
Suppose 39*z + 41*z = 34*z. Which is smaller: z or 36/301?
z
Let b = -6277 + 6276. Is b < -587?
False
Let h = -20844 - -20786.941. Let s = h + 57. Let z = 4.941 - s. Which is smaller: z or -0.1?
-0.1
Let v be (-2 - 0) + (-9)/(-1). Let c(g) = 2*g**2 + 16*g + 59. Let q be c(-6). Let a be q/v*(-4 - -2 - -1). Which is greater: a or -4?
-4
Let c = -60 - -62. Suppose -3*x = -z - c, -5*z = -x + 4 + 6. Which is greater: 4/33 or x?
4/33
Let c = 94480/9 + -10428. Let b = 1387 - 1317. Let j = b - c. Which is bigger: j or -18?
j
Let w = 123.26 + -120.26. Let l(y) = -y**3 + 7*y**2 - 8*y + 1. Let t be l(7). Is w at most as big as t?
False
Let t = 0 + 0. Let b(v) = 96*v - 11. Let o be b(2). Let s = 1807/10 - o. Which is greater: s or t?
t
Let l be (-161)/(1/(-2)*2). Suppose 419*w + n = 417*w + 325, 4*w = -4*n + 656. Is l < w?
False
Let o be -10*3/6*-4. Let g = -20 + o. Suppose 0*b + g*b = -4*b. Is b not equal to 3/25?
True
Let g = -415 + 413.23. Let m = -0.77 - g. Let y = 33/10 - 27/10. Which is smaller: m or y?
y
Let j be (1 - (-3 - 1))*1. Suppose 3*z - t + 16 = -0*t, 0 = -z - 4*t - 27. Let q = j + z. Is q <= 1.8?
True
Let a be (189/(-30828))/((-18)/(-12)). Which is bigger: 1 or a?
1
Let h(s) = -s**2 - 13*s + 201. Let c be h(-22). Is c < 176/79?
False
Suppose n + 2*n = 2*c - 490, 5*c - 496 = 3*n. Let w be -42*1*(-12)/n. Which is smaller: -3 or w?
w
Let x be 2 + (-2)/(-24)*24261/(-1011). Are 0 and x equal?
False
Let a(m) = -m. Let n be 3 + 9/6 + (-2)/(-4). Suppose n*o + 6 = 8*o. Let w be a(o). Is -10/3 bigger than w?
False
Let x = 15.4 - -113.6. Let z = -129.53 + x. Let c = 0.47 - z. Is c at most 9?
True
Let x = 6290 + -2138. Is 4152 bigger than x?
False
Let y = -127672091/441 + 289506. Does 0 = y?
False
Suppose -4*t + 248 = -308. Let n = -95 + t. Let l be (1 - n/52)/((-3)/6). Is l < -1?
False
Suppose -3*i - 396 = -3*f, -73 = -f + 2*i + 56. Let k be ((-4)/(-6))/(44/(-374)). Let m = -6 - k. Which is bigger: f or m?
f
Let a be 3594/20*164/123. Which is bigger: 241 or a?
241
Let s = -0.6807 + 2.6807. Let h(n) = -12*n - 4. Let d be h(-7). Which is smaller: s or d?
s
Suppose -50*a + 45641 - 145341 = 0. Is -2 greater than or equal to a?
True
Suppose -103*g - 7426 + 2487 = 19369. Which is smaller: -1417/6 or g?
-1417/6
Let b = -1.12 - -6.52. Let i = b + -4.4. Which is bigger: 15 or i?
15
Let w = -13506 - -13544. Is 2/9 greater than w?
False
Let b be -4 - -5 - 0 - (-5 - (-6 - -1)). Which is smaller: 1/31 or b?
1/31
Let m be -9 - -15 - (-37)/2*14/(-28). Is 1 bigger than m?
True
Let q = 71 + -67. Suppose -2 = 2*o, -q*c + 4*o - 62 = 98. Which is smaller: c or -40?
c
Let p be (3010860/(-2709))/((-2)/7). Is 3889 less than p?
True
Suppose 2*k - 242 = 4*m, k - 4*m + m = 120. Let r = -950 + 455. Let a be (-12)/(-3) + 0 + r/k. Which is smaller: 1 or a?
a
Let f = 505 + -504. Which is bigger: -2/1441 or f?
f
Let z be -13 - (-21 - (-2 + -12)). Is -434 at least z?
False
Let g be -6*5/(16 - 1). Let o be 1 + 0/(-2) + -1. Let q be 180/(-270) - (o/g - 1). Is -75 less than q?
True
Suppose -v = 