**2 + 11*t - 7. Let o be q(10). Suppose 3*a = 2*l + 260, 0*l + 3 = -o*l. Suppose -5*s - 2*x = x + a, -73 = 4*s + x. Is -19 < s?
False
Let h = 10.03 + -3.7. Let s = h - 7.73. Is s <= -3?
False
Suppose -3*r = 2*f - 7*f - 3, 4*r = 4. Suppose -4*g - t + 3 = -4, f = 5*t - 15. Is 2 at least g?
True
Let d be -3 - (1/2)/((-1)/6). Suppose -8*l = -d*l + 952. Let j = l - -118. Which is bigger: j or -7/26?
-7/26
Let b = -73 - -63.4. Let z = b - -10. Let j be 5 + (4 - (-124)/(-14)). Is j greater than z?
False
Suppose 2*z + 2*v = -136, 0*z = 4*z - 3*v + 251. Let l = 66 + z. Is l bigger than -5/38?
True
Suppose 287 - 17 = -3*g. Let m be (5/(-3))/(g/108). Suppose 12 = 7*z - m. Is -0.5 != z?
True
Let a(w) = 14*w**2 - 23*w + 18. Let m be a(7). Suppose 0 = 3*d - d - 2*u + 276, -4*d - 5*u - m = 0. Is d at most -137?
True
Let q = 4.63 + -4.43. Suppose 6*k = 2*k - 16, l - 3*k = -66. Are l and q unequal?
True
Let k = 2.64 - -6.56. Let b = 9.1 - k. Let f = -0.06 - -2.06. Is f smaller than b?
False
Let x be (5481/39)/7*(-35)/(-21). Is 32 <= x?
True
Let d be 0/((-43 + 1)/(-3)). Let l be 6/(-9) - 4/(-6). Suppose 3 = -l*u - 3*u. Which is bigger: u or d?
d
Let f = -36 - -37. Let r(v) = 7 - 2*v**2 - 2*v - 4*v - 14 - 1. Let d be r(-2). Is d < f?
True
Suppose -2 + 233 = -231*a. Which is smaller: -2/33871 or a?
a
Let p be (-2 + 3)/(1/(-3)). Let s be ((-4)/6)/(115/p). Let t = 668 + -667. Is t less than or equal to s?
False
Suppose -30*f - 7396 - 2173 + 2729 = 0. Does -228 = f?
True
Let x = -701.2 - -765. Let i = x - 63.7. Is 0.5 less than or equal to i?
False
Let i = 6083256/17129 - 2486/7. Which is bigger: 1 or i?
1
Let n = -663 + 621. Let d(i) = -15*i**2 + 2*i + 2. Let k be d(2). Let g = n - k. Is 12 >= g?
True
Suppose -3*o + 4*u + 26 = 0, 3*o + 2*u + 8 = 2*o. Let j be 1/(o/80*5). Let l be (-492)/j - (3 + 15/(-6)). Is -62 bigger than l?
False
Let j(z) = -z**2 + 14*z + 12. Let m be j(8). Suppose -7*x + m = 5*x. Suppose -2*v - x*y - 73 = 45, 0 = -2*y. Is -61 greater than v?
False
Let l be (-5 - -4)*(-2 + 4 + -17). Suppose 0 = d - 5*k - l, -3 = -d + k - 0*k. Suppose 6*u - 426 + 30 = d. Is 65 smaller than u?
True
Suppose 14 = 5*g + 7*l - 3*l, 0 = -5*l + 5. Let a be -40*g/(-12)*42. Let t be -2 - ((-487)/a + (-8)/28). Are 0 and t nonequal?
True
Let g(m) = -2*m**2 + 54*m + 81. Let r be g(28). Let d be 754/6 + 2/(-3). Suppose -20*w = -r*w + d. Is w at least 24?
True
Suppose 0 = -2*c - 0*c + j + 8, j = -3*c + 17. Suppose -c*k - 6 = k. Is k bigger than 39?
False
Let l(p) = 4*p**3 + p**2 - 6*p + 9. Let a be l(4). Let s = -595 + a. Are -338 and s nonequal?
False
Suppose 24*m - 17*m = 56. Let p be -24 - -134 - 3/(6/m). Which is greater: p or 105?
p
Let m be 16*1 + 5/((-15)/9). Suppose 3*w + 1 = m. Suppose 4*z = -w*d + 40, 6*z - 2*z = d - 30. Which is greater: d or 13?
d
Let o(p) = -22 + 3*p**2 - 2*p**2 - 12*p + 53. Let u be o(8). Is 1/168 <= u?
False
Let g = -1783.7739 + 1784. Which is greater: g or -0.1?
g
Let d = -12314 + 49267/4. Is d != -17?
True
Let s = -8143 + 8144. Which is smaller: s or 2/2007?
2/2007
Let v be (16/(-636))/(52/(-6)). Let z = -1169 + 1170. Is z not equal to v?
True
Suppose -5*o = -3*t - 6, 5 = t + 3*o - 7. Suppose -2*d + 29 = 2*v - t*v, 4*v - 12 = 0. Let q be d/9 + (6 - 8). Which is smaller: 2/9 or q?
q
Let a(y) = 8*y - 3. Let j be a(3). Let f(g) = g**2 + j*g - 8*g - 3*g - 24. Let p be f(-12). Is p != 2/35?
True
Suppose -v + 21 = 6*v. Let n = -55 + 12. Let m = n - -46. Are m and v unequal?
False
Let l = -280 - -279.48. Let b = 21.48 - l. Which is smaller: b or -3?
-3
Suppose 2*b + 324 = 6*b. Suppose -21 = o + 4*t - 90, 2*o - 2*t = 168. Is b < o?
False
Suppose 0 = 4*z + 3*l - 3514, -z + 57*l - 58*l = -877. Is 883 not equal to z?
False
Let w be 622/56 + (-5)/(-35). Let l = -2933/260 + w. Do l and 1 have the same value?
False
Let v(z) = 42*z**2 - 6*z - 4. Let d be v(-3). Suppose -5*o + d = -2*b - 0*b, -o + 96 = 4*b. Let p be (-3)/(-4) + 20/o. Is p > 8/19?
True
Let o = -2081021/1526 + 1307/218. Is o at least -1359?
True
Let j = 98146 - 4024184/41. Let a = 79323/16400 + j. Is 0 greater than a?
False
Let d = -208/27 + 1925/216. Let k = 163/136 - d. Which is bigger: k or 1?
1
Let j be (3/5338)/(672/1904). Which is smaller: -1 or j?
-1
Suppose -25*b - 5*j = 5430, j - 4*j = -12. Which is greater: b or 7/4?
7/4
Let c = -576.5096 - -45.2906. Let u = 531 + c. Let i = u + 0.019. Which is greater: i or 1/6?
1/6
Let z = 62.8 + 19.2. Let v = -47 + -26. Let x = v + z. Is x > 0.2?
True
Suppose 3*u - 2*n = 2482, -156*n - 3340 = -4*u - 161*n. Which is smaller: 829 or u?
829
Suppose 0 = 9*h - 142 + 25. Let p be (((-52)/20)/h)/(291/15). Let o = 0 + 1. Which is bigger: p or o?
o
Let m = 9314/345 - 371/23. Which is smaller: 10 or m?
10
Let o = 348 + -328. Let x be 5/(o/(-1048))*1/(-5). Is x < 52?
False
Suppose 6*p = 6507 - 16023. Let l be p/42 + 6 + 468/(-84). Which is greater: l or -37?
-37
Suppose -p + 5*v + 8 + 6 = 0, 4*p - 5*v - 11 = 0. Let g be (1/(-1) + p)/(14/28). Let w be g*3/(3 - -15). Is w > 0?
False
Let s = -9.2 - -28.5. Let y = s + -21.3. Which is smaller: 2/11 or y?
y
Suppose -14*y + 16 = -40. Let i be y + -3 + 0/(-3). Suppose 2*x - 4*l - 6 = -6*l, -4*x = 5*l - 13. Which is smaller: i or x?
i
Let h(j) = -6*j**3 - 10*j**2 - 13*j + 12. Let b(f) = -f**3 - f**2 - 2*f + 1. Let l(t) = -5*b(t) + h(t). Let q be l(-6). Is q less than 59?
False
Suppose 3*x = -c - 19, 9*x + 34 = 3*c + 5*x. Which is smaller: 3373 or c?
c
Suppose 0 = 3*d - 66 + 51. Let h be ((-5)/4)/d + (-43)/52. Let v = -20 + 20. Does v = h?
False
Let f be (-37)/((-37)/(-18)) + 17. Let l be (-1 - 155/(-153))*14307. Let h = l - 187. Do f and h have the same value?
False
Let d = 19675.9 - 19676. Suppose -95 - 855 = 5*n. Do n and d have different values?
True
Suppose -138*s + 134*s = -44. Suppose 13 = -s*w - 42. Which is smaller: -19/3 or w?
-19/3
Suppose -2*s - 9570 = 3*c, -c - 27*s = -28*s + 3180. Which is smaller: c or -3185?
c
Let a be (96/90)/((-2)/20*92). Does a = 2/11?
False
Let l = 422.97 - 421. Let p = l + -1.47. Which is bigger: 1/15 or p?
p
Suppose 47*g - 51*g + 4*j = -36, 5*g + 5*j - 5 = 0. Which is smaller: -71 or g?
-71
Let l be 4*(1 + (-105)/(-4)). Suppose 111 = 2*t + l. Which is smaller: 4/139 or t?
4/139
Suppose 2169 = u + 5*x, 2*x - 30 = -22. Which is smaller: -0.2 or u?
-0.2
Suppose 1197 = -16*i - 1155. Let n = i - -144. Which is greater: -6 or n?
n
Let y = 3417/2996 - -1/428. Suppose -2*j + 3*s + 57 = 0, -3*j - 100 = -8*j - s. Suppose -3*q + 9 = -3*t, -16*q + j*q = -t + 21. Is q > y?
True
Suppose 0*j - 79338 = -2*j. Let q = -2736973/69 + j. Let c = -9/23 + q. Which is smaller: c or 3?
c
Let j be 1925/4725 - ((-72)/20 + 4/(-10)). Which is smaller: j or 5?
j
Let j = 1053 - 1054. Is j < -4/559?
True
Let z = -29.4195 - -0.4195. Which is bigger: z or -1.8?
-1.8
Let d = 2 - 1. Let h be 20205/(-151731)*(2 + -3). Let w = -2/733 + h. Which is smaller: w or d?
w
Suppose -78 = -5*f - f. Let x be f + (-220)/16 + (-121)/4. Which is bigger: 6 or x?
6
Let n = -0.0554 - -0.4054. Let s = n - 8.35. Which is greater: s or -12?
s
Suppose -3168*t + 3172*t = -12, 2*b = 4*t + 298. Suppose 3*u - 432 = -2*m, -u + 7*m + 127 = 2*m. Is b bigger than u?
True
Let h = -913 - -887. Suppose 0 = 5*k + 50 - 200. Suppose -k = -5*n - 155. Is n smaller than h?
False
Let f be 6/(5 - (0 - -3)). Suppose -136 = 826*s - 834*s. Suppose s - f = 7*t. Is 1/2 greater than t?
False
Let y = -16 - -15.8. Suppose 11*l - 13*l = 0. Suppose 5*n - 2*n - 15 = l. Which is bigger: n or y?
n
Let l = 4614.8 - 4618.8. Let a be ((-4)/30)/((-2)/(-36)). Which is greater: a or l?
a
Suppose -16*l = 85*l - 9*l + 1380. Is -268/19 > l?
True
Let o = -145 - -146. Let y be 1 - (o*(-1 - -3) - 73). Which is smaller: y or 71?
71
Let q = 0.0571 - 2.9671. Let m = q - 17.09. Let p be -2 - (2 - 78/21). Which is bigger: m or p?
p
Suppose -687 + 2206 = -49*q. Let w(z) = z - 23. Let b be w(-5). Is q <= b?
True
Let a(k) = 222*k - 485. Let j be a(2). Let m = -54 - -12. Is j greater than m?
True
Let x = 7793 - 7793. Which is smaller: -13032 or x?
-13032
Suppose m = -5*j + 6829, 3*m = 3*j - 5315 + 1232. Let x be j/(-468) + (1 - 3/4). Which is greater: 25 or x?
25
Let r(g) = 33*g**2 - 18*g - 11*g**2 + 13 - 8*g**2 - 11*g**2. Let p be r(5). Do -1 and p have different values?
True
Let j =