 0*y + 30 = 3*x - 4*y. Let s(g) = g**2 - 5*g - 7. Let r be s(x). Let w = 907 + -912. Is r less than or equal to w?
False
Let b(f) = -f**2 - 4*f - 1. Let u be b(-2). Suppose -u = -5*z - 33. Is z less than -6?
False
Let h be (-4)/(-5) - 1/(-5). Let q = -6 - -1. Let b be ((-10)/4)/q + 0. Is h less than or equal to b?
False
Let l = -2.97 - 0.03. Which is greater: l or -22?
l
Let g = -24 + 15. Suppose -15 - 17 = -2*z. Let s be (1 - 52/z) + 2*1. Is s less than or equal to g?
False
Let o be 1 + -1 + -1 - -46. Let m = 823 + -824. Which is smaller: m or o?
m
Suppose -11*p = -2137 - 1031. Are p and 286 non-equal?
True
Let l = 55 - 47. Suppose 17*x + l*x - 5*x = 0. Let y be (-6)/27 + (-34)/(-72). Which is smaller: y or x?
x
Let x = 10 - 15. Is x less than -9?
False
Suppose g + 9 = -4*u + 144, 2*u - 69 = g. Which is bigger: u or 33?
u
Let v be -3013 - (-4 + 3) - -1. Let b = -198755/66 - v. Let p = b - 2/33. Is p greater than or equal to 1.9?
False
Let b be 4 + ((-2)/7 - 545/175). Which is bigger: -19 or b?
b
Let k(d) = 5*d**3 + 5*d**2 - d - 22. Let a be k(-3). Is a at most as big as -112?
False
Suppose 5*b - 16 = -4*y, -2*b + 20 - 28 = -2*y. Do b and 17/18 have different values?
True
Let z = -9 + 6. Let y be (1/(-2))/((-3)/42). Let a = -8 + y. Which is smaller: a or z?
z
Let s(l) = l**3 - 2*l**2 + l. Let z be s(2). Suppose q - z*b - 33 = -11, 51 = 3*q - 3*b. Is 12 bigger than q?
False
Suppose 22*i + 226 - 204 = 0. Is 1/772 <= i?
False
Suppose 0 = -t - q, 8*q = 5*t + 4*q - 36. Let z be (4 - (-34)/(-6))*-3. Suppose -24 = -4*g + i - z, 5*g - 4*i = 10. Is t at least g?
False
Let g = -21/4 + 5. Let x = -15 + -59. Let s = x + 74.7. Does s = g?
False
Let n be 2/(-4)*(-56 + 58). Let g = -0.98 + 1. Is n >= g?
False
Let k(w) = w**2 + 10*w - 3. Let c = -24 - -34. Suppose -8*o = -7*o + c. Let g be k(o). Which is smaller: -6 or g?
-6
Let c be 22 - (3 - 4)*(-2 + 2). Let f be (-42)/(-9) + -2 - c/99. Which is bigger: 1 or f?
f
Let t(j) = -j**3 + 8*j**2 - 9*j - 2. Let x be t(7). Suppose 63 = -3*p + l + 162, p = -5*l + 49. Let c be (p/4)/(5/(-10)). Which is smaller: x or c?
c
Let s = 356 - 424.4. Let b = 60 + s. Let t = b + 2.4. Which is smaller: -2/3 or t?
t
Suppose 326*b + 5*u + 25 = 331*b, 31 = 5*b - 2*u. Is b smaller than 129/20?
False
Let c = -6 + -3. Let p = -10 - c. Let k be 10/(0/1 + p). Which is smaller: -11 or k?
-11
Let j(p) = -3*p + 35. Let o be j(15). Let x(b) = -b**3 - 10*b**2 + 2*b + 19. Let y be x(o). Let i = -172/39 + 13/3. Is y <= i?
True
Suppose -s + 11 + 13 = 0. Let r be ((-42)/(-56))/((-2)/s). Which is smaller: r or -8?
r
Suppose -5*a + 2 = 4*z - 4, 2*z - 8 = -5*a. Is z at most 1/938?
True
Let k = -24 + 26. Suppose 5*i - i = 2*h + 20, -k*h - i = 0. Which is greater: -3 or h?
h
Let y = 147 + -58. Is y smaller than 86?
False
Let l = 22 + -21.71. Let h = 0.09 - l. Is h equal to -7.1?
False
Suppose -5*g - 66 = 54. Is -25 < g?
True
Let p = 0.01 - 0.48. Let r = p + 0.63. Which is greater: -2 or r?
r
Suppose -18*k - 48 = -22*k. Which is smaller: 10 or k?
10
Suppose -5*i = 38*c - 40*c + 22, 3*i + 7 = -5*c. Do c and 2/115 have the same value?
False
Let z = -0.7 + 8.1. Let k = -7.6 + z. Let t = -2257/11 - -205. Which is smaller: k or t?
k
Let c be (-9)/((-90)/(-604)) + 14/35. Which is bigger: c or -61?
c
Suppose 4 = -4*v + 5*v. Suppose 8 + 4 = v*u. Suppose 2 = -b + u. Are b and -2/9 unequal?
True
Let v = -23 - -23.1. Let y be 3/(-4)*5/((-30)/44). Which is greater: v or y?
y
Let n(h) = -h**3 - 11*h**2 + 25*h - 9. Let p be n(-13). Suppose -6*f - p = -58. Let q(s) = -s**2 - s + 10. Let w be q(0). Is w < f?
False
Let o be 0*((-2)/3)/(-2). Suppose o = -r - 7 + 7. Which is smaller: r or -3/31?
-3/31
Let c be -3 + 0 + -6 + 4. Let b be (2/(-1) - c)/5. Is -0.1 < b?
True
Let c(m) = -m**2 + 12*m - 11. Let h be c(11). Suppose 3*b + 0*b = h. Suppose b = 8*f - 13*f + 5. Is 0 at least as big as f?
False
Let w = -99 - -101. Let a be (((-4)/12)/(w/6))/1. Is a bigger than 2/77?
False
Let u(l) = l**2 - 9*l - 92. Let j be u(15). Is 0.05 equal to j?
False
Suppose a + 73 = -5*r, -5*r + 4*r + 391 = -5*a. Let b = a + 90. Suppose -11 - 41 = -4*s. Is b smaller than s?
True
Let u = 46547/13 - 3578. Is u bigger than 4?
False
Let s be 10*(-24)/(-1140)*1/10. Which is smaller: s or -1?
-1
Suppose q - 2 + 1 = 4*o, -5*o = 5*q - 30. Suppose -g - g = 3*n - 1426, -g = q*n - 2365. Let i = 8970/19 - n. Which is greater: 2/5 or i?
2/5
Let x = 475/4 - 2423/20. Which is greater: x or -2?
-2
Let c(d) = -d**3 + d**2 + 4*d - 9. Let q be c(4). Which is smaller: q or -38?
q
Suppose -l = -3*i + 16, -l + 2*i = -3*i + 26. Let s(x) = -36*x**3 - x**2. Let j be s(l). Which is bigger: j or 36?
36
Let b = -118 + 70. Let p be 62/(-180) + b/(-108). Which is smaller: p or 1?
p
Let o = -58 + 75. Which is greater: o or 16?
o
Suppose -2*i = i - 444. Is 146 > i?
False
Suppose -6 = u - 5*a + 2*a, -a = 2*u - 9. Let j be (-63)/91 + u + -2. Let p = 3 - 3. Is p <= j?
True
Suppose -8*m - 4*v = -4*m - 12, -2 = -2*m - v. Let l be 1 + -1 + 4/(-10). Which is smaller: m or l?
m
Suppose 1212*h = 1211*h + 1. Is h > 5/218?
True
Let b(n) = n**3 - 12*n**2 + 6. Let g be b(12). Suppose -4*l + 2 = -5*t, 5*t - g*l + 5 = -l. Which is smaller: 17 or t?
t
Let m = 9/122 - -109/1830. Is -2.7 bigger than m?
False
Suppose 3*j - 1 = 2*j. Suppose -7*v - 285 = -75. Let i be 5/9*(0 - 9/v). Is j <= i?
False
Let v be ((-266)/63)/1 + 1 + 3. Is 0 less than or equal to v?
False
Let j = -101.1 - -97.1. Is -2/17 bigger than j?
True
Suppose -4*d - 13 = b, -16 + 0 = -4*b + d. Suppose -v - 3 = -2*v. Suppose v*s + 5*j = 12, b*s + 1 = -2*j + 4. Which is bigger: s or -4/13?
-4/13
Let w be (-1)/(-7) - 0 - (-64)/(-56). Let t = 212 + -2967/14. Which is smaller: w or t?
w
Let r = -64 + 67. Let d = 3 + 2. Are r and d nonequal?
True
Let p = -0.3 - -1.6. Let y = 27 + -25.9. Let c = p - y. Is c smaller than -1?
False
Let h = 67 - 72. Let n(x) = -x**2 - 6*x + 2. Let t be n(-6). Let m be 2/4*(-23)/t. Is h <= m?
False
Let f = 290 + -323. Is f bigger than -35?
True
Let h = -1 - -171. Let d be -2 - (h/(-45) + 2). Is 1 >= d?
True
Suppose 9*t - 226 = -217. Let j = 103/3 - 343/10. Which is smaller: t or j?
j
Let a be 7/((-189)/30) + 25/25. Let r be ((-4)/(-10))/((-2)/10). Which is greater: a or r?
a
Let b be (0/(-3))/(11 - 13). Let r(m) = 2*m**2 - 5*m - 3. Let u be r(6). Let w = u + -118/3. Is b at most as big as w?
False
Suppose -15*n = -11*n + 24. Let f be 7/(126/n)*(3 - 0). Is 2/163 at most as big as f?
False
Let q = 29.3 - 30. Let w = -1.7 - q. Does 8 = w?
False
Let f(w) = -12*w + 481. Let c be f(52). Are -141 and c equal?
False
Suppose -5*f + 3*f - 56 = 0. Let g be (162/f)/((-3)/(-156)). Let m = 300 + g. Is 0 > m?
True
Let i = -667 + 601. Which is bigger: -3 or i?
-3
Suppose 2*o + 2090 = 40*o. Which is smaller: o or 3?
3
Let z = 104/5 - 743/35. Which is smaller: -1/19 or z?
z
Let s be (-5 - (-69)/(-15))*40/(-6). Let w = 127/2 - s. Which is greater: w or -13?
w
Let i = 4.54 + -4.47. Which is greater: i or 0.14?
0.14
Let j = 646 + -663. Let r = -37 - -21. Let n = j - r. Are n and -1 non-equal?
False
Let h = 1993 + -1972. Are -1.5 and h equal?
False
Let i = -105 - -253. Suppose i = 22*v - 26*v. Which is bigger: -36 or v?
-36
Let z = 29.16 - 29. Is z bigger than 0.3?
False
Let p = -84 - -57. Let s = 28 + p. Which is bigger: -3/2 or s?
s
Let i = -65 - -64. Let s be (-7)/(-7)*(i + 2 - -17). Is 0.1 > s?
False
Let n be -2 + (-11)/(33/(-6)). Let z(f) = f + 5. Let d be z(-4). Let x be d + 1 + 75/(-36). Which is smaller: x or n?
x
Let h = 243.3 - 254. Let w = h + 11.7. Which is bigger: -40 or w?
w
Let h be 110/30 + (-3)/(-9). Suppose -h*i + 47 = -117. Is 41 <= i?
True
Let o be 3 + 4 + -7 + (-39)/(-3). Suppose -8*a - 100 = -o*a. Is a greater than 20?
False
Suppose -4*g = -2*m + 8, g - m - 16 = 4*m. Let t be (66/2)/(2/g*3). Are t and -22 equal?
True
Let f be 6 - (3 - 0) - 0. Let q be (-2)/(-7) + (-12)/(-7). Suppose -f*j = 15, 7*j = -3*w + q*j - 22. Which is smaller: 7/3 or w?
w
Suppose -3*x = -v + 55, 3*x - 2*v + 49 = -1. Let h be (1*-1*2)/(x/(-15)). Is -1 at least as big as h?
True
Let a = 185 - 213. Let x = 53 - 81. Is x smaller than a?
False
Let u be 0 + 4/(2 + -1). Suppose -10*m - u = -8*m. Let j = 10 - 12. Is j smaller than m?
False
Let q = -66 - -58. Let c(y) = y**3 - y**2 + 1.