et l = 5649 - 5662.09. Is l at most as big as -2?
True
Let k = 22.071 + -22. Let z = 488.571 + -488. Let t = z - k. Which is smaller: t or -2?
-2
Let q be (-10)/(-120) - (6/(-8))/(-3). Let l be -2*(0 + -5) + (-459)/51. Are l and q nonequal?
True
Suppose -13*l = -2*y - 8*l - 1, -3*l = -3. Suppose 2*u + 4*p - 20 = y, 3*p = -3*u + 18. Which is smaller: -4/75 or u?
-4/75
Let t = -0.621 - -0.071. Let r = -0.62 - t. Is r at least -5?
True
Suppose 16*v - 13*v = -123. Let w = -53 + 92. Let n = w - 81. Is v less than or equal to n?
False
Suppose 4*o - f - 912 = 8*o, 5*f = -5*o - 1140. Let h be (o/30 + 7)*25. Is 0 greater than or equal to h?
True
Let w be 9 + 116/(-12) + 1 - 3142/9318. Which is smaller: w or 0?
w
Let c = -72.28 + 73. Let r = c - -49.28. Let n = -42 + r. Which is smaller: n or -4?
-4
Let c be 26/6 + 13/(-195)*5. Which is greater: 131/42 or c?
c
Let z = -1484 + 1618.2. Let a = 134 - z. Do -8 and a have the same value?
False
Let d = -163.64 + 164.64. Which is greater: 6366 or d?
6366
Suppose 3*q = v + 15, 0 = 55*q - 50*q - 25. Which is bigger: -3/644 or v?
v
Let u = 9 - 10. Let d be 0/(-7) - (u + 0). Suppose d = -4*m - 3. Which is bigger: m or -3/41?
-3/41
Let k be (0 - 368/36) + 20/90. Let x(u) = u**3 - 11*u**2 + 4*u - 14. Let n be x(11). Suppose 4*h = -5*q - 62, 4*h = -2*q + 5*h - n. Is q > k?
False
Let t be 1 - 10/9 - 445432/(-684). Let g = t + -651. Which is bigger: g or 1?
1
Let q(r) = -5 - 47 + 25 - 4*r. Let o be q(-6). Let t be o/12 + 0 - (-29)/36. Which is bigger: t or 0?
t
Let w(v) = -v**2 - 76*v + 2055. Let h be w(21). Is 311/16 > h?
True
Let w be (-15)/(585/(-26))*(3 + 82881/(-24)). Is w greater than or equal to -2300?
False
Let s be (-2)/(-55) - (-374015)/(-10050975). Which is bigger: 1 or s?
1
Suppose 5*t - 3*t = -4*z + 12, z + 4 = 3*t. Let v be z/(0 + 2) + 7/(-21). Suppose 3*c = 4*c - 2. Is c smaller than v?
False
Let m = -2 + 3. Let q = -6435 - -250981/39. Which is smaller: q or m?
q
Suppose -115620 = 2*k - 7*k - 55*k. Is 1928 at most k?
False
Let s = 2040.1744 - 1.1744. Which is greater: s or -0.1?
s
Suppose 5*f + 966 = -i, 0 = 5*i - 31*f + 32*f + 4710. Is -940 not equal to i?
True
Let o be (-24)/(-32)*(1 - 3)*20/(-6). Is 280 less than or equal to o?
False
Let j = -328 - -257. Let d = 70 + j. Which is smaller: d or -7/4?
-7/4
Let k be (-41 + 41)*(-1)/2. Suppose 80*n - 68*n - 960 = k. Is 75 less than or equal to n?
True
Let t = 92 - 74. Let b be 4/6 + 24/t. Suppose 5*u - b = 7*u. Which is bigger: 2/165 or u?
2/165
Suppose 7 = -9*h + 16. Let n be h + (-15700)/(-15708) + -2. Let i = n + -3737/373065. Which is smaller: 1 or i?
i
Let x = 229 - -18. Suppose -x = -46*i + 351. Which is greater: 11 or i?
i
Suppose 14127 - 15495 = -496*y + 29384. Is y bigger than 426/7?
True
Suppose 2*v = 7*v. Let s = -186 - -407. Let r be s/(-247) + 4*2/(-76). Are v and r non-equal?
True
Let k be (-1)/(-4) + (-2 - -10)/(-4). Let i(r) = r**2 + 9*r + 5. Let v be i(-9). Suppose -q - 2*q - 5 = -v*t, 0 = -4*t - 5*q - 33. Which is smaller: t or k?
t
Suppose 0 = -27*n + 8*n + 12154 - 3452. Is n at most 5022/11?
False
Suppose 0 = 3*l - 440 + 464, -p - 1929 = 5*l. Is p at least -1889?
True
Let q = 43 + -40. Suppose -5*t + 32 = b, -q*t + 4*b = -t - 26. Suppose -t*h + 5*h - 14 = 0. Are -7 and h equal?
True
Suppose -25*o + 46 = -29. Suppose o*a + 12 = 3*g - 6*g, 4*a = g + 4. Which is greater: a or 2/327?
2/327
Let d = 61.955 - -0.045. Let y(g) = 144*g**2 - 871*g + 41. Let c be y(6). Which is greater: c or d?
d
Suppose 0 = -40*p - 632 + 1712. Suppose 3*v - 24 = -p. Is -26/17 >= v?
False
Suppose 73*c + 9990 = 129*c - 66*c. Is -1000 <= c?
True
Let x = -843 - -22759/27. Let q(s) = s**2 - 13*s - 14. Let g be ((-8)/10)/((-4)/70). Let t be q(g). Which is smaller: t or x?
x
Suppose 4*a + 11 = 3*k, 0 = -k - 5*a - 2 - 7. Let v be (4 + 0 - -5) + 3/(-3). Let g be v/16*2/(-8). Which is smaller: k or g?
g
Let a(r) = -r**3 + 7*r**2 - 95*r + 534. Let m be a(6). Is m smaller than 2144?
True
Suppose 0 = -44*h + 30*h + 14. Which is smaller: -4/1699 or h?
-4/1699
Let y = 2 - 25. Let f be y/(-23) - 8/2. Let d be (f/1)/(39/(-52)). Which is bigger: 6 or d?
6
Let t be ((-39)/26)/((-3)/8). Suppose 0 = t*d - 5*w + 25, -d + 9 = 2*w - 1. Suppose d = -2*m + 6*m. Is 3/5 >= m?
True
Suppose -k = 19 + 9. Let o be (-4)/(-14) - (-8)/k. Let s = 123 + -867/7. Is o less than s?
False
Let x = -9707 + 10069. Which is bigger: x or -1/4?
x
Suppose -614*a + 610*a = 2*y - 42, 0 = -3*a + 21. Which is smaller: y or 197/26?
y
Let n = 10.08751 + -0.08751. Let c = -31 - -10. Is n smaller than c?
False
Suppose 4*n = 4*l - 4, 2*l - 7 = -0*n + n. Let u be (38*-7)/(-4 + l). Let i = 121 + u. Are -12 and i non-equal?
False
Let a(l) = 23*l + 57. Let y be a(-2). Let q(r) = -2*r - 3. Let c be q(-5). Suppose -c - 15 = -2*z. Is z greater than or equal to y?
True
Let w(x) = -x**2 + 38*x + 1025. Let j be w(56). Which is bigger: 189/11 or j?
189/11
Let n = -2 - -1. Let o = 90.22 + -91. Let t = -0.28 - o. Which is bigger: n or t?
t
Let z(i) = -5*i + 6. Let h be z(-7). Let g = -51 + h. Let t(f) = -2*f**3 - 19*f**2 + 12*f + 19. Let b be t(g). Which is smaller: -2/111 or b?
b
Let l be (-2)/6 - (-33)/234. Let v be (-4)/86 + 13455/12857. Which is bigger: v or l?
v
Suppose -q = 2*b - 3 - 2, -q = 3*b - 9. Suppose b*g - 117 = 5*j, 4*g + 43 = 5*g - 4*j. Let y = -25 + g. Is -13/7 greater than y?
True
Let t = -3013 - -6253/2. Let n = t - 114. Is n less than or equal to -0.2?
True
Suppose 2*s - 7 = 3*u, 0*u + 4*u - 44 = -4*s. Suppose s*h - 2*j = 7*h + 289, -3*j + 849 = 3*h. Do 286 and h have the same value?
False
Let i = -1352.8166 - -0.8166. Is -2/5 greater than or equal to i?
True
Suppose -26 + 1196 = 3*u. Let k = 6628/17 - u. Is 0.24 != k?
True
Let r be 68/(-30)*((-74)/24 - 0). Let i = -37/45 + r. Is 7 smaller than i?
False
Let v = 347 + -354. Let d(p) = -p**3 + 6*p**2 + 7*p - 5. Let m be (-50)/(-7) - 2/14. Let o be d(m). Is o greater than or equal to v?
True
Let n = -33815/7038 + 5/7038. Which is bigger: n or -4?
-4
Let h be (-15)/(-27)*12 + 2/6. Let o be (-40)/12 - (3 - h)*1. Which is smaller: o or 0.28?
0.28
Let q = -2975 - -2974. Do q and 1.58 have different values?
True
Let c = -435 - -438. Suppose 3*p + 1264 = 5*w - 413, c*p = -w + 339. Which is smaller: w or 337?
w
Let s(l) = 15*l**2 - l - 7. Let v be s(3). Suppose -4*k + v = -3. Let h = k - 31. Which is greater: 3/23 or h?
h
Let j(x) = -6*x - 294. Let z(a) = -17*a - 877. Let y(q) = -11*j(q) + 4*z(q). Let t be y(-8). Are 0 and t equal?
False
Suppose -7*c + 52 + 16 = -3*p, -5*p - 20 = 0. Let j = 31 - 22. Which is bigger: c or j?
j
Let l = 3/14273 + 14058887/85638. Let s = l + -48241/294. Which is smaller: 0 or s?
0
Let i = 2581.2232 - 2582.1. Which is bigger: i or -1/2?
-1/2
Let t be 88 - ((-1)/(-2) + 14/4). Let y = t - 84. Let q be 209/426 - (-11)/(-22). Which is greater: q or y?
y
Let l = -0.1 - -0.3. Let d = 0.3 - l. Suppose 526 = 19*s + 412. Is d less than or equal to s?
True
Let h = -133 - -138. Suppose h*a + 72 = -3*k, -3*a - k - 11 = 33. Which is smaller: a or -10?
a
Let x = 4151 - 37037/9. Is x greater than or equal to 36?
False
Let p = -18 + 16. Let c = 1047 - 5252/5. Is p equal to c?
False
Suppose -13*g - g = 602. Let q = g - -44. Which is smaller: 1/294 or q?
1/294
Let q be (19/(-19))/(8/184). Which is smaller: q or -0.3?
q
Let v be (-6 + -5 + 10)/(7/6). Let o = v - -32/21. Let f = 0.116 + 0.164. Is f greater than or equal to o?
False
Suppose 0 = 103*f + 45833 + 13289. Is f less than or equal to -576?
False
Suppose 0 = 5*l - 2*y + 787, -249 = 4*l - 4*y + 383. Let t = l - -106. Let w = 95 - 146. Is w <= t?
True
Let i(v) = 106*v**2 + 2*v + 3. Let r be i(-2). Suppose y - 6*y + r = g, -4*y + 336 = 2*g. Which is smaller: y or 84?
84
Suppose -18*f + 156 = 138. Is f less than -2/9407?
False
Suppose -4*m - 3*z - 19 = 10, z - 17 = 4*m. Let x = 10 + m. Suppose -h + 4*v + x = 2*h, 2*h - 2*v - 4 = 0. Is -1/3 smaller than h?
True
Let g = -29 - -29. Let p be (-8)/12 + g + (-241341)/(-387). Let t = 623 - p. Which is smaller: t or -1?
-1
Let i be 138/3473*(32/(-54))/4. Is -1 not equal to i?
True
Let g = -198 + 152. Is -48 > g?
False
Let x be ((-6)/63)/((-1)/(-3)). Let g(u) = 34*u + 195. Let t(z) = 10*z**2 - 23*z + 1. Let i be t(2). Let n be g(i). Which is smaller: n or x?
x
Le