 q = -43.2 - -6.2. Let g = -38 - q. Is g at most as big as -195?
False
Let u = 253988/3247 + -402/191. Is 75 at most u?
True
Let k = 2293 - 181145/79. Suppose -3*v = -5*a + 6, 8 = 2*v + 2*a - 4. Suppose -5 = 4*r + v. Which is smaller: r or k?
r
Let f be (-4)/(-18) - 748/(-198). Let s be ((-6)/(-1))/(-15 - (f - -4)). Which is bigger: 2 or s?
2
Let f = 294846.9686 + -294821. Let i = 0.0314 + f. Which is smaller: i or -5?
-5
Let b = 4619 - 4852. Is -223 greater than b?
True
Let o = 8988701/99 - 858112/9. Let b = o - -4539. Is b equal to -12?
False
Suppose -4*w = -5*z + 69 - 9, 4*w + 48 = 4*z. Let t be z/(-8)*134*(-4)/72. Which is greater: 12 or t?
12
Let h = 20/247 - 674/2223. Are h and 2/99 nonequal?
True
Let v(d) = -4 + 0 - 34*d + 2*d**2 + 0*d**2 + 30*d. Let m be v(-1). Suppose -5*g - m*x + 32 = 90, -x + 16 = -2*g. Is g < -15?
False
Let f(j) = 4*j**2 + 82*j + 267. Let o be f(-8). Suppose 0 = 2*r + 281 - 13. Is r greater than or equal to o?
False
Let z be (-20)/(7/(21/(-2))). Let c be 3/z + (-45)/(-50). Let y be c/214*1/(2/(-8)). Which is smaller: 0.2 or y?
y
Let v(w) = -3*w**3 + 49*w**2 + 35*w + 16. Let m be v(17). Suppose -2*h - m = a, -11*a = -7*a + 4*h + 152. Let s = -1 - 41. Is s less than or equal to a?
False
Let t = -5550 - -5552.57. Which is smaller: -1/6 or t?
-1/6
Let f = 152.2 - 152. Let z = -2769535/16149 - -347/769. Let g = -171 - z. Which is greater: f or g?
f
Let x be (-2)/(-3) + 16/(-6). Let y be x/(-34)*2/(-9). Let f(q) = q**3 + 9*q**2 - 2*q - 19. Let i be f(-9). Which is smaller: y or i?
i
Let k be -1 + 2592164/(-42) + 1/(-7). Let n = k - -62298. Let t = n - 570. Is 10 != t?
True
Let z be (0 + (-8)/22)/((540/110)/(-9)). Which is smaller: z or 20548?
z
Let z = 9462 + -123144/13. Is 1/4 < z?
False
Suppose 6*w - 2*u = 3*w - 106, 135 = -5*w - 5*u. Let t = -138 + 163. Suppose 3*p + 19 = -d, 23*d + p - 66 = t*d. Which is greater: d or w?
d
Suppose -3*w - 6 = 48. Let a be (w/4)/(8/(-496)). Suppose -a = -5*t + 2*x, -t - 2*t + 175 = -5*x. Which is greater: t or 56?
56
Suppose -2*y + 22 = 12*o, y - 8*o + 5*o + 7 = 0. Is y < -1/26915?
True
Let w = -10/167 + 456/13193. Let p = 0.87 - -0.13. Which is smaller: p or w?
w
Let v(k) = 27*k**2 - 12*k - 28. Let s be v(-3). Let o = s + -198. Is o > 52?
True
Let i = -181 - -186. Let o = 1835/327 + 6/109. Is o greater than or equal to i?
True
Let g = -13789 + 14032. Which is greater: -1 or g?
g
Let q = 129597/7906 - 1575/118. Is 2 smaller than q?
True
Let m be (-33)/(-11) - (-182)/(-40). Let v = 440 - 443. Which is bigger: m or v?
m
Let h(s) = 74*s**3 + s**2 - 1. Let u be h(-1). Let q be (-8)/20*2/u. Let m be 108/(-90) - (22/(-30)*3 - -1). Which is smaller: q or m?
m
Suppose -30 + 4 = -26*j. Suppose 6*w - 2*w = -3*x + 16, 3*w + j = x. Is 2/177 >= w?
False
Suppose 0 = -72*w - 46*w + 32*w. Is w <= 2/8955?
True
Let h = 6050 + -5959. Let v = 201 + -116. Let a = h - v. Is a less than 1/5?
False
Let b be (-11 - (-9092)/8)*(-4)/(-3). Let v = b + -1541. Which is smaller: v or -41?
-41
Let p = 174 - 98. Suppose 3*y = 5*y + p. Let z be -44 + 14 + (-14 - -5). Which is smaller: z or y?
z
Let p be ((-198940)/1925)/((-12)/30). Are p and 257 nonequal?
True
Let z be 0*(-2)/4 - -126. Let q = -38482 + 38607. Which is bigger: z or q?
z
Let h = 61.876 + 0.124. Let y = h - 62.64. Let v = -0.54 - y. Which is bigger: v or -0.11?
v
Let v(p) = -11*p + 27. Suppose -19*x + 42 = 4. Let f be v(x). Is f > 6?
False
Let h = -8896.1 - -8896. Let c = -444.7 + 476. Which is bigger: c or h?
c
Let j = -22601 + 21641. Which is bigger: -952 or j?
-952
Suppose -4 = k + k. Let v(y) = 210*y**2 + 5*y - 3 + 217*y**2 + 215*y**2 + 8 - 650*y**2. Let d be v(k). Are -37 and d equal?
True
Suppose 0 = 4*h - 4*y - 404, 5*y - 18 = h - 107. Let r be h - ((-68)/(-12) - 4/6). Is 99 less than r?
False
Let s = -161 + 157. Let k be (-1)/1 + 3 + s. Which is greater: 38 or k?
38
Suppose -5*t - 9 + 19 = 0. Suppose t*o + o + 5*q = -60, o + 10 = -5*q. Suppose 0 = -g + 18 - 42. Which is smaller: g or o?
o
Let z(j) = 14*j**3 + 6*j**2 + 7*j + 12. Let h be z(-4). Are -815 and h equal?
False
Let j be (-4455)/105 + 8 - 2. Which is bigger: j or 3?
3
Suppose 82974 = 64*m - 40162. Is 1926 > m?
True
Let t = 23141 - 23011. Which is greater: t or 1/64?
t
Suppose 3*g = -g + 16, -7 = q - 2*g. Let d be q*-5 - (-48)/8. Let j be d/4 + (-12)/(-720). Are -1 and j nonequal?
True
Let v(h) = h**3 - 17*h**2 + 29*h + 16. Let u be v(15). Let g be (u - -2) + (-4)/2. Which is greater: g or 1/453?
g
Let y(p) = -2*p + 26 - 46 + 34. Let j be y(7). Suppose -36 = -3*n + 4*h, 4*n - 7*h + 2*h - 47 = j. Is n greater than or equal to 3?
True
Let s(r) = -5*r - 108. Let p be s(-35). Suppose -69*h - 176 = -p*h. Is h smaller than -88?
False
Suppose -42380 = -27*k - 204164. Which is smaller: k or -5991?
k
Suppose 311 = -17*d - 131. Let m = 48 + d. Is 23 at most m?
False
Let s(v) = 2*v + 8. Let b be s(5). Let t = 79 - 76. Suppose 0 = 2*l + 2*a - 33 - 1, a - 55 = -t*l. Do b and l have the same value?
False
Suppose -3*y = 2*x - 19, y = 3*x - 4*y - 38. Let s(v) = 23*v - 18. Let h be s(2). Let t(m) = -m**3 + 27*m**2 + 27*m + 35. Let k be t(h). Is x >= k?
True
Let c be (-1 - 75/(-12))/(86/4128). Which is smaller: c or 244?
244
Let k(i) = -i**3 + 15*i**2 - 6*i + 89. Let j be k(15). Which is smaller: -1/4665 or j?
j
Let p = 581.9 - 575.9. Is 27.3 greater than p?
True
Let v be (-4)/675*6/4. Let x be 3*4/18 + (-20)/(-6). Let p be -1*((x - 2) + -1). Is v smaller than p?
False
Suppose 13*x + 7*x + 4734 = 2*x. Which is smaller: x or -249?
x
Let y(r) = -8*r**3 + 15*r**2 + 38*r - 26. Let q be y(-5). Is q greater than or equal to -1?
True
Let l be 147*(70/42 - -4). Is l < 831?
False
Let u(f) = f**2 + 9*f + 3. Let z be u(-11). Let q be -35*(1 + z/(-24)). Is 0 greater than or equal to q?
False
Let j = 0.0635 + 0.1885. Let i = -0.323 + j. Which is bigger: 1 or i?
1
Let t = -7228866 + 397514097/55. Let s = -1337 - t. Is s > 7/3?
False
Let u be (2 + 99)*(-3 + 2). Suppose 0 = 2*f + 4*x + 831 + 1173, -2*f - 2012 = -4*x. Let d = -1106 - f. Is u less than or equal to d?
False
Let t(z) = 28*z + 151. Let g be (-152)/14 - ((-6)/(-42) + 0). Let a be t(g). Which is greater: a or -158?
a
Let l = -1832 - -1834. Which is greater: l or 67/30?
67/30
Let n be ((-22)/30)/((-444)/(-1110)). Is 2/681 at least n?
True
Suppose 327*f = 330*f + 4*w + 383, -3*f = -2*w + 389. Let r be -2 - ((-1896)/(-15) + 0). Is f greater than r?
False
Let g = -17 - -15. Let l(h) be the third derivative of -h**5/20 - h**4/24 + 2*h**3/3 + 36*h**2. Let k be l(g). Which is smaller: k or -16/3?
k
Let i(t) = -2*t**3 - 39*t**2 - 44*t - 28. Let m be i(-18). Let k = -207 - m. Is k >= 2/477?
True
Let d = 52 + -51.9. Let j be (-32)/(-24)*597/2. Which is smaller: d or j?
d
Let j = 14987 - 14986.8. Which is smaller: 3/2432 or j?
3/2432
Let i = -0.139 + 72.139. Let y = -603.3 - -531.4. Let p = y + i. Is p >= -5/3?
True
Let n = -11618666/365 + 31832. Is n bigger than 1?
False
Let t = -6972.4 + 6971. Which is bigger: t or 12/47?
12/47
Suppose 0 = -2*j + a - 8 + 1, -2*a = -2*j - 6. Which is greater: j or -51/19?
-51/19
Let g be (-1480)/(-370)*1/(-6). Which is bigger: 0.0695 or g?
0.0695
Let w(f) = -321*f - 85 + 654*f - 310*f. Let t be w(5). Is t not equal to 27?
True
Let c = -5549 - -49997/9. Let k be 6/(-8)*(-16)/4. Suppose k*j - 19 = -4. Which is greater: j or c?
c
Let a = 50 + -45. Let w(i) = -2*i**3 + 9*i**2 - 8*i - 6. Let r be w(a). Let b = r - -72. Which is smaller: 2/45 or b?
2/45
Let f = -0.0637 + 153.0637. Which is smaller: f or -9?
-9
Suppose 146*d - 142*d - 7 = -v, 3*v = 4*d + 21. Are 48.2 and v equal?
False
Let u be 88/(-12) - 4/6. Let w be (-102)/27 - u/(-36). Suppose -4*g + 27 = -3*h, 12*g - h - 31 = 7*g. Which is smaller: g or w?
w
Let t = -20 - -11. Let s = -13 + 4. Let m be (6/t)/(12/s). Is m at least as big as -3?
True
Let s = -87 - 24. Let v = s - -143.1. Let u = -32 + v. Which is smaller: u or -12/5?
-12/5
Suppose 3*i = -2*j + 8 + 41, 2*j - 44 = 2*i. Let t be j/(-2) - 110/(-44). Let l be t/27 - (0 - 0). Which is smaller: l or 1/6?
l
Let f be (6/3)/(-1 + 1142/1146). Let k be -3 - 1 - (f/141 + 0). Which is greater: k or 1?
1
Let z be -1 + 6 - ((-7)/1 - (-9618)/805). Which is bigger: z or 0?
z
Let a(c) = c**2 + c - 4. Let r be 178/(-15) + 4/(-30). Let k be a