*g**2 - 5*g - 3. Let f(i) = -6*a(i) - q(i). Let k be f(9). Is k less than n?
True
Suppose 0 = -h - h - 2*k - 32, -3*h - 52 = 2*k. Let f = 37 + h. Suppose -f*g = -15*g + 296. Is g at most -149?
False
Suppose 17*z - 338 - 376 = 0. Suppose s + 47 = z. Which is smaller: s or -12?
-12
Let f(k) = 33*k. Let v be f(1). Suppose 2*r + v*r = -35. Is r less than 1/251?
True
Let f = -254 + 255. Let a be 314/2*f*(2 - 1). Which is smaller: a or 155?
155
Suppose 4*v = -4, -6*c + 5*c - 3*v = 19. Let g be 98/336 + (-6)/c. Do 103 and g have the same value?
False
Suppose 8*o + 4*j = 3*o + 18, 2*j = -o. Let g = 21 - 31. Let y be g/4*2/(-1). Which is greater: o or y?
o
Let w = 95/14 - 7. Which is smaller: w or 1/4?
w
Suppose -11*r = -8*r + 21. Let x(y) = 5*y**2 + 36*y - 4. Let q be x(r). Let c = -104/5 + 101/5. Is c at most as big as q?
False
Let z = 29159 - 30358. Which is greater: -1202 or z?
z
Suppose -6*a + 35 = 59. Which is greater: -35/11 or a?
-35/11
Let y = 419.9 - 417.9. Is -4379 at most as big as y?
True
Let t = -0.66 + 201.66. Let c = 191 - t. Are -4 and c unequal?
True
Suppose -5*x + 15 = -i, -6 = -2*x + 4*i - 6*i. Suppose -4*r - 880 = 5*f - 0*r, 195 = -f + 3*r. Let p be (292/f + 1)*-5. Which is greater: x or p?
p
Suppose 0 = 5*o - 10, -3*u - 4*o + 25 - 14 = 0. Which is greater: u or 1/2408?
u
Let n be (-26100)/(-375) - 3/5. Which is greater: n or 4?
n
Let o(y) = -y**3 - 4*y**2 + 2*y - 3. Let j be o(-5). Suppose -2*h = j - 10. Let d be -1 + -52*1/(-53). Which is bigger: d or h?
d
Let j = -2313 - -896. Let m be 1 + 56869/40 + 6*(-31)/1488. Let c = m + j. Which is smaller: 5 or c?
5
Suppose -40 = -4*q + 4*x, -619*q - 49 = -624*q + 4*x. Do 23/3 and q have the same value?
False
Let j be (-11)/4554*14/4*4. Let d = j - -223/207. Which is bigger: 2 or d?
2
Suppose 2*y - 7*y = 5*i + 205, -5*y + i - 187 = 0. Let t(n) = -4*n - 5. Let p be t(6). Let s = y - p. Which is smaller: s or 2?
s
Let x = 24.6 - 30.1. Let a = -22.5 - x. Which is greater: 7 or a?
7
Let z = -59 - -29. Let w = 21 + -51. Is w > z?
False
Let u be (9 - 635/57) + 4/2. Let b = -189 + 189. Which is greater: u or b?
b
Let y be -6 - 72888/7290 - -16. Is 1 less than or equal to y?
False
Let f(b) = -7*b + 8. Let j be f(-1). Suppose 2*l = -5*x + j, -x - 4 + 7 = -3*l. Let i be (0/(-1))/(-2)*-1. Is l less than i?
False
Let k(h) = -382*h + 215. Let w be k(-5). Are 2125 and w equal?
True
Let z = 5/173 + -4991/11072. Is 0 at least as big as z?
True
Suppose 2*g + g - 255 = 0. Suppose g + 25 = 5*h. Let l be 46/(-4)*-6*2/6. Which is bigger: l or h?
l
Let g(q) = q**2 + 13*q - 46. Let b = 57 - 75. Let p be g(b). Is p > 136/3?
False
Let s = 13852/5 + -2772. Is 54 bigger than s?
True
Let z = 209829/6320 - 1/1264. Suppose 172*v + 5*r + 110 = 177*v, -5*r + 26 = -v. Which is bigger: v or z?
v
Suppose 9*v - 262 = 1682. Let m = -4544/21 + v. Is m at least as big as 0?
False
Suppose 2*h = -2, 3*z + 3*h = -135 - 93. Let n be (-2)/((-2)/(10/z)). Which is bigger: n or -30?
n
Let m(r) = -2*r**2 + 60*r + 50. Let t be m(27). Suppose -9*q + t = 59. Which is bigger: q or 19?
19
Let k(l) = 2*l**3 + 46*l**2 - 50*l - 48. Let b be k(-24). Is b != 9/464?
True
Suppose -13*x = -10*x - 240. Suppose -4 = -6*v + x. Let h = -8.3 - -8. Which is greater: v or h?
v
Let t = 1/35 + -4/315. Suppose 2*r - 5*r = 0. Which is smaller: t or r?
r
Let t = -285/28 - -293/28. Which is smaller: -0.0288 or t?
-0.0288
Let a = -594/119 - -962163/192542. Is 1 smaller than a?
False
Let a = 106 - 106. Let o be 3 - ((-12)/(-4) + a). Which is greater: -4/11 or o?
o
Let r(l) = -2048*l - 123. Let n be r(3). Let a = -75265/12 - n. Is -4 != a?
True
Let r(l) = l**3 - 9*l**2 - 5*l - 51. Let c be r(10). Suppose 4*u + 36 = -4*w, 2 + 1 = -3*w + 5*u. Let q be (3/(-9))/((-34)/w). Is c at least as big as q?
False
Suppose -10*b + 7*b - 3 = f, 0 = -4*f + 4*b + 4. Let m = 883 + -104189/118. Which is bigger: f or m?
m
Let g(q) = q**2 + 6*q + 2. Let t be g(-6). Suppose -2*c + 15 + 9 = t*z, -5*z - 100 = -5*c. Let n be 297/(-132)*1/(6/c). Is n != -37/5?
True
Let n = 122 + -122. Let b = 872597/39 + -22373. Which is bigger: b or n?
b
Suppose 11*s + 0*s = -22. Let p be (-54)/s + (-3 + 17 - 10). Which is smaller: -1 or p?
-1
Let o = 2499 + -2498. Let f = 0 - -3. Let g be o/(3*f/171). Which is smaller: 20 or g?
g
Let l be ((-24)/(-9))/2 + (-1)/3. Let t be (-1 + 0 - -3) + l + 7. Let f be ((1 - 2)*1)/(t/(-90)). Does 7 = f?
False
Let t = -2398/15 + 5565713/34815. Is t != -1?
True
Let g = 868/9 + -4322/45. Which is smaller: -77 or g?
-77
Let d = 17150.079 - 17151. Which is greater: -7 or d?
d
Let q = -21466 + 21458. Suppose 0*m = -m + 9. Suppose -m = 4*u - 5*s, u = 2*u + 2*s + 12. Which is smaller: q or u?
q
Let s(f) = -2*f**2 - 6*f + 6. Suppose 2*n - 6 - 12 = 0. Let c(o) = -o**2 + 8*o + 5. Let k be c(n). Let b be s(k). Which is greater: b or -6/11?
-6/11
Let z(n) = -3*n**2 + 110*n - 744. Let q be z(9). Which is smaller: 117/38 or q?
q
Let p = -2166 + -1155. Is p < -3321?
False
Let x = 21962.61 + -21969. Is -0.7 bigger than x?
True
Let h be (-87)/((-4)/(1 - 3)). Suppose -s - 1 = 4*m + 79, 273 = -6*s - m. Is h >= s?
True
Let t = -388 - -448. Let n = 0.83 - -66.17. Let m = t - n. Is m equal to 0.1?
False
Let w(l) = 9*l**2 - 29*l + 8. Let q(c) = -5*c**2 + 15*c - 4. Let a(z) = 11*q(z) + 6*w(z). Let f be a(-9). Let r = 14.7 - 15. Is f < r?
False
Let d = -1958 - -1960.154. Is 1/4 bigger than d?
False
Suppose 11*y - 169 = -180. Which is bigger: -2/11801 or y?
-2/11801
Let m = 4.73 - 250.73. Let v = 17292 - 17293. Is v at most as big as m?
False
Let r = -135 - -175. Let n be (r/60)/(4/(-6)). Let b(v) = -v**3 - 4*v**2 - v + 1. Let j be b(-2). Which is greater: n or j?
n
Let z be (-59)/1239 + (-101516)/(-42). Do 2/3 and z have the same value?
False
Let b = -542 + 451. Let j = 0.016 + 0.084. Which is smaller: j or b?
b
Let p = -4423 + 4424. Let v be 634/(-1510) - 4/(-10). Which is greater: v or p?
p
Let x(k) = 2*k**3 + 8*k**2 - 4*k + 30. Let r be x(-5). Which is bigger: 1/647 or r?
1/647
Let z = -1599 + 1707. Suppose -3*c + 115 = 3*o - 200, 5*o + 129 = c. Which is bigger: c or z?
c
Let n = -196 + 334. Suppose -n + 931 = 13*x. Is 62 < x?
False
Suppose 5*r - 3*f = -8*f + 15, 3*r = -2*f + 10. Suppose -4 = -6*y - r. Is y greater than or equal to 1/346?
False
Let n = 154 + -150. Let b be 9/12 - (-1)/n. Is b greater than -9/53?
True
Suppose -142 = 5*b - 382. Let i = b + -55. Which is bigger: i or -3?
-3
Let x = -23322 + 23322. Is -8/7 less than or equal to x?
True
Let v = 198 - 199. Let t be ((2 - v)*2/(-24))/(-2). Is t not equal to 4?
True
Let r = -3935 - -3934. Let o = 2/1345 - 6757/21520. Which is greater: r or o?
o
Let i(x) = -2*x - 23. Let l be i(-6). Let s(f) = -6*f - 63. Let j be s(l). Which is smaller: j or 0.019?
0.019
Let o = 2 + -14. Let a(m) = -13*m + 18. Let j be a(2). Which is smaller: o or j?
o
Suppose 10*b - 226 = 84. Suppose -76*r + 31 = -75*r. Is r bigger than b?
False
Let p = 49 + -21. Suppose 0 = -3*u + 2*u - 4, -p = -4*g - 5*u. Let j = g - 12. Which is smaller: j or -2/103?
-2/103
Let p be (3*(-6)/(-12))/((-1)/458). Which is smaller: p or -686?
p
Let r(p) = -p**3 - 17*p**2 - 7*p + 159. Let o be r(-16). Let t be (-63)/o - (-3 - (-1)/(-1)). Which is smaller: -75 or t?
-75
Let t be (-3094)/(-84) + 2/12. Let n = 37 - t. Let i = -3 - -2. Which is bigger: i or n?
n
Let w = -4055/238 - 23/34. Suppose 54 = -3*f - 0*f. Are f and w equal?
False
Let t(g) = -g**2 - 56*g + 177. Let i be t(-59). Which is smaller: -7750 or i?
-7750
Let y be (-9920)/61600 - (-1)/7. Let h = 5 - 5. Which is bigger: h or y?
h
Let z be 4/1*(-17)/(-17). Suppose 10 + 12 = 4*s + 2*x, z*x = -4*s + 20. Are s and 6 unequal?
False
Suppose -4*w = 9*w - 195. Let n = 4.6 - 4.6. Which is greater: n or w?
w
Let o = 1635 - 1754.5. Which is greater: o or -2/13?
-2/13
Let v be (-54)/306*(-4)/(-546). Let f = -13933/7735 - v. Which is greater: -0.3 or f?
-0.3
Let h = -1192.589 - -1192.6. Is h at most as big as -18?
False
Let b be (13 - 139)/42*2/6. Let r = -5245/13 + 403. Which is smaller: b or r?
b
Let h be (-12)/16 + (-15)/(360/(-129522)). Which is smaller: h or 5398?
h
Let x = 0.5 - -7.5. Let k be (16/(-42))/((-4)/35). Which is greater: x or k?
x
Let c = -666 + 1468. Which is bigger: -1/2 or c?
c
Let y = -4.7 - -5. Suppose 3*l - 7*x