 + 5*p. Let g(w) = 6*w - 184. Let b be g(p). Is b <= -45?
False
Suppose f - 2*t = 5*f - 32, 3*f - 2 = 4*t. Suppose r = -n - 3, f = -5*n - 14. Let v be (r + -4)*(-1)/(-3). Is 18 less than v?
False
Let v = -244 + 336. Let w = v - 73. Suppose -3*a + 3*x + 54 = 0, -5*a + 90 = x - 2*x. Is a at most w?
True
Suppose 3*w - 9476 = -473*n + 468*n, -3*w - 1888 = -n. Is 9469/5 equal to n?
False
Suppose -15*g + 2 = -13. Let h be 2/4*(-9 + 10 - g). Is h greater than 2/9?
False
Let o = 120 - -165. Suppose 4230 = 20*j + 2293 - 3743. Which is smaller: j or o?
j
Let b = -20 - -33. Suppose -3*o - 2*l = -b, 2*o - 5*l - 8 = -6*l. Is o >= -6?
True
Let v = 0.3 - 1.3. Let h(g) = g**3 - 5*g**2 - 94*g - 20. Let c be h(-8). Is v < c?
False
Suppose 25 = -5*c, 0 = -6*l + 12*l - 5*c + 4679. Let p be (300/l)/5*32/(-12). Is p > -0.1?
True
Let v be (-48)/(-24) + 4/(-2). Let t = 0 + 4. Which is smaller: v or t?
v
Suppose 336 + 150 = 6*u. Let i be (5 - 5) + u/80 - 1. Let v = -153/560 - i. Is v at least 1?
False
Let k(b) = 2*b**3 - 184*b**2 - b + 141. Let f be k(92). Let v(l) = -13*l - 1. Let r be v(3). Let w = r + f. Is 9 not equal to w?
False
Suppose -599*o = -616*o - 22661. Is o bigger than -1?
False
Let k = -2/205 - 396/1435. Suppose -5*z - 2*f = -52, 3*z - 6*f = -f + 56. Suppose -7*r - z = -117. Which is greater: k or r?
r
Suppose -189*j + 160*j - 15283 = 0. Which is greater: j or -528?
j
Let t = -8335 - -91796/11. Is 2/9 greater than or equal to t?
False
Let q = 13984 + -13965.3. Which is smaller: q or 50?
q
Let k = 51.5 + -62. Let c = k + 2.52. Let g = c + -0.02. Which is greater: 1/3 or g?
1/3
Let z = 300 - 64. Let v = 237 - z. Which is greater: v or -8/19?
v
Let l = 9 + -6. Suppose -5 = 5*p, 0*p - 4 = l*f + 4*p. Let w = 14453/33 - 438. Is f at most w?
False
Suppose 0 = 3*l - 13 - 8. Suppose l*w + 6 = w. Is w bigger than -28/13?
True
Let t = -9241/42 + 220. Suppose 5*l - 2468 = 2*c, -35*l = -34*l - c - 496. Let y = 492 - l. Is y bigger than t?
True
Let b = -0.257 - -0.157. Let s = -31 - -68. Let m = s - 50. Are b and m equal?
False
Let q = 94 - 96. Let x = -2 + 1.86. Which is greater: q or x?
x
Suppose -316 + 313 = -3*a. Are a and -17/191 equal?
False
Suppose -3*m = 1 - 40. Suppose 0 = -4*r - 5*w + 13 + 14, -5*w = -r + m. Is 84/11 < r?
True
Suppose 3*q - 2*q = 152 - 38. Is q bigger than 122?
False
Let k be 16/(-32) - (-3007)/3552. Let z = k + -35/96. Do z and -1 have the same value?
False
Suppose 153 = -i + 3*d, 4*i = -6*d + 8*d - 572. Suppose 0 = -2*h - 204 - 76. Is h <= i?
False
Suppose 5*c + 34 = 3*l, 0 = -2*c + 5*l - 0 - 25. Let f(z) = -2*z**2 - 12*z - 12. Let p be f(c). Let g = p + 0. Which is smaller: g or -17/8?
-17/8
Let g = -3790/9 - -201356/477. Let y = 15161/159 - g. Is 94 less than y?
True
Suppose -21*k + 2*k - 6612 = 38*k. Which is smaller: k or -117?
-117
Let h = -6 - -10. Suppose 5*d - 15 = 4*m, 4*d - m - h = 3*d. Which is smaller: d or -1/78?
d
Let l = -2.89 + 5.04. Let v = 2.85 + l. Is 3 bigger than v?
False
Let r = -40 + 32. Let b be 154/r + (-42)/56. Let x be (b - -8) + 8/(-2). Does -15 = x?
False
Let d = -324/7 + 46. Let s = -2.0389 - -0.0389. Is d greater than or equal to s?
True
Suppose -5*s - 7 = -q, -62*q + 66*q = s - 10. Is 487 at least as big as q?
True
Let b = -241 + 269. Let l = 153 + b. Which is smaller: l or 182?
l
Let v = -507 - -198. Let c = -308.8 - v. Which is bigger: -13/4 or c?
c
Suppose -119*m - 77 = -126*m. Let i be (-61)/m + 6/((-48)/(-8)). Which is greater: i or -4?
-4
Suppose -11 = 3*q - 35. Suppose q*z - 7*z + 2 = 0. Let d = -407/2470 + 12/95. Do d and z have different values?
True
Let r(t) = -t + 13. Let f be r(7). Suppose h = -f*h + 7. Let c be (-78)/(-3)*(h - 3 - -1). Which is bigger: -27 or c?
c
Let g be (-56)/42 - (-391)/(-51). Is 13 greater than or equal to g?
True
Suppose 0 = 3*w + 2*w + 4*l + 98, 3*l - 48 = 3*w. Let a = 541 + -552. Are w and a equal?
False
Let q = -182 - -260. Suppose 2*x + q = -2*y, -2*y - 3*x = -0*x + 81. Let z = y + 32. Is -3 <= z?
False
Let c = 1.0404 - -3038.9596. Which is smaller: 0.1 or c?
0.1
Let t = 0.3024 + -0.0594. Let o = -21.257 - t. Is o less than -1?
True
Let f(v) = -v**3 - 8*v**2 - 2*v + 47. Let g be f(-7). Let c(s) = 3*s. Let u be c(1). Suppose -4*l = -4*t - g, u*t + 10 = 4*l + t. Which is greater: l or 0?
l
Let c = 0 + 1. Let a be (3654/729 - (12 + -7))*(0 + 6). Which is smaller: c or a?
a
Let b = 114 - 76. Suppose 38 = b*r - 36*r. Suppose -5 = -3*f + s, 3*s + 4 = -f + r. Which is smaller: 5 or f?
f
Let x = -155.7 - -116. Let q = -40.7 - x. Is q greater than or equal to 13?
False
Let m = 6 - 16. Suppose 20*x = 11*x. Suppose x = 5*p - 15, -4*y + 11*p = 13*p + 34. Is m at least y?
True
Let r = -38 - -6. Let k = -32 - r. Suppose k*f = f. Which is bigger: f or 4/23?
4/23
Let g = 6397 - 6399. Which is smaller: g or -91/163?
g
Let l = -12769 - -9781. Which is smaller: -2 or l?
l
Let s = -57.093 - -27871.093. Do s and 1 have the same value?
False
Let y = -189.4 - -200. Let q = -10.8 + y. Which is bigger: -8.3 or q?
q
Let s = -150 - -150. Suppose 2*i = -2*j + 12, s = j + 2*i - 9 - 2. Suppose -2*g + 18 = 2*b, 5*b - 17 = -g + 4. Is j less than or equal to g?
True
Suppose 4*p = p + 6. Let t be (-5*p)/((-236)/76 + 3). Let a be t/(-4) - 48/(-64). Which is bigger: a or -21?
-21
Let q be (-10)/4*(418/(-15) - 2). Let o be 10*((-27)/(-6) + 3). Is o < q?
False
Let b = -41243591/10452 - -3946. Is 1 smaller than b?
False
Let f(z) = 13*z - 88. Let p(k) = -6*k + 44. Let j(l) = -3*f(l) - 7*p(l). Let s be j(15). Suppose 1 = w - 4. Which is smaller: w or s?
s
Let y = 248.39 - -2.61. Let a = -248 + y. Let r = 0.2 + -0.1. Which is smaller: r or a?
r
Let i be 1/(52510/(-1392) - (-290)/(-4205)). Is i not equal to -1?
True
Suppose -3*n - 3 = g - 26, n - 59 = -5*g. Suppose g*y - 6*y = 15. Suppose 0 = -y*q - 6, 5*u - 2*q + 59 = -4*q. Is -12 at least as big as u?
False
Let u = -118817178/8695 - -13665. Which is smaller: u or -1?
-1
Suppose -6*v = -v - 15. Suppose -4 = -2*f - 0, -4*x = -v*f - 6. Is 39/22 >= x?
False
Suppose 1 = -0*q - q. Let i = -167710 - -36057646/215. Which is greater: i or q?
i
Suppose 6*l - 121 = 89. Let u = 31 - l. Let w(y) = -y**3 + 2*y**2 - 3*y + 1. Let f be w(2). Which is greater: f or u?
u
Let o be (-41)/((117/108)/13). Do -494 and o have the same value?
False
Let c = -8.677 + 0.077. Let m = 11.6 + c. Let z = -25 - -13. Which is smaller: z or m?
z
Let d(b) = -6*b + 34 + 10*b + b - 7*b. Let a be d(19). Let c be 1/(8/3 - (a - -7)). Is c greater than or equal to -3?
True
Suppose 0 = 4*i + 9 + 27. Let t = 232/15 + -2819/180. Let n = t + 4/9. Which is smaller: i or n?
i
Let s = -1455/13 + 112. Let w = 0.2821 + 0.0149. Let b = 0.297 - w. Which is bigger: b or s?
s
Let v = -506 - -320. Let c = -177 - v. Is 0.11 < c?
True
Let b(v) = 4*v**2 + 10*v - 10. Let m be b(1). Suppose -12 = m*d - 5*c + 15, 4*c - 6 = 2*d. Is -11 at least as big as d?
True
Let a be (1 + 1 + -7)*(-480)/600 - 261. Is -254 > a?
True
Let t = 293/96 - 103/32. Which is smaller: 1013 or t?
t
Suppose 13 = 6*k + 1. Let a be (2 - 5) + 10 - k. Let w = 22 - 24. Which is bigger: a or w?
a
Let p be (501 - 504)/(9*3/171*-103). Which is bigger: 0 or p?
p
Let x = -411282/14585 + -3/2917. Let b = x - -2407/85. Are b and -0.2 unequal?
True
Let x be 0 + (-25964)/(-20) + (0 + 2)/(-10). Which is bigger: x or 1299?
1299
Let l(d) = 28*d**2 + 373*d + 142. Let n be l(-13). Which is smaller: n or 1464/59?
1464/59
Let q be (6/(-3))/(30/(-5)). Let n = -0.3 - -0.11. Let b = n - -0.29. Which is greater: b or q?
q
Let c be -70 + -12 + 28/14. Which is greater: -82 or c?
c
Let t be (-1048)/(-140) + (-308)/28. Which is smaller: t or -3?
t
Suppose -3*a + 4 = 4*t - 0*t, 2*t = -5*a + 16. Is t equal to 0.013?
False
Let y be (-3556)/1326 - (-8 + 1850/170 + -3). Which is bigger: y or -4?
y
Let c(f) = -5*f + 23. Let a be c(5). Let d = a - -4. Suppose -21*v - 18 = -15*v. Is d less than v?
False
Let i(t) = -t + 1. Suppose 8*q = 6*q - 4. Let f be i(q). Let a be (18/(-27))/((-1)/f). Is 2 at least as big as a?
True
Let u(f) = f**3 - 44*f**2 + f - 19. Let k be u(44). Is -1 at most k?
True
Let x be (-148 + 146 + 4/6)/(1*-4). Which is greater: x or -5.88?
x
Let w(j) = 8*j**3 + 242*j**2 + 61*j + 29. Let n be w(-30). Are -15/1127 and n non-equal?
True
Let y be 4/1 + (49 - 16)/(