-4?
-4
Suppose 0 = 4*t + s, 4*t - 14*s = -19*s - 16. Which is smaller: t or 3/305?
3/305
Let x be (9 + (-423)/45)*(-150)/2. Are 30 and x non-equal?
False
Let t(h) = h**2 + 4*h + 13. Let u be t(-2). Suppose a - 2*m - 11 = 0, 3*a - m - u = -3*m. Let y = 11 - 5. Is a at most as big as y?
True
Let v(g) = 144*g**2 - g + 1. Let p be v(-2). Is p at least 579?
True
Let a = 49.6 - 68. Let d = -17 - a. Let c = d - 1.5. Is 0.8 less than c?
False
Let s = -15 + 15. Let l be 0 - (2 + s) - (-756)/360. Let p = 5 + -5.3. Which is greater: p or l?
l
Let f = 70 + 43. Let s = -12292 + 12406. Which is smaller: s or f?
f
Let i = -1553 + 1600. Is 54 > i?
True
Let p = 178 - 104. Let x be (-4)/(-6) - p/(-6). Let z be 7 - 35/(70/(-12)). Are x and z nonequal?
False
Let v(j) = 13*j**2 - 73*j - 7. Let b be v(7). Is b < 121?
True
Let l(g) = -g + 2. Let z be l(-3). Let w(p) = -p**3 + 4*p**2 + 3*p + 9. Let v be w(z). Is -9/7 <= v?
True
Let u = 9 + -6. Let x be (-486)/(-240) - (3 + 27/(-8)). Which is smaller: u or x?
x
Suppose -5*h = -x + 26, x + h = 2*h + 14. Is x less than 9?
False
Let o = 14 - 14.03. Let m = -2.5 - -2.73. Let t = m + o. Is -0.3 > t?
False
Let y = -1181896922025/12017 + 98352078. Let u = y - -5/197. Which is smaller: u or 1?
u
Suppose -19*t = -14*t. Let x = 29/3 + -154/15. Which is greater: t or x?
t
Let b(o) = 7*o**2 - 2*o + 85. Let j(v) = 3*v**2 - 2*v + 43. Let z(s) = 2*b(s) - 5*j(s). Let l be z(7). Is l less than -52?
False
Suppose n = -4*s + 88, 9*s = 3*n + 5*s - 280. Is n at least 90?
True
Let w(c) = -c**2 + 13*c + 8. Let u be w(14). Let n(d) = d**2 - 7*d + 3. Let r be n(7). Suppose 0 = r*p - 1 + 19. Is p > u?
False
Let s = 6 + -3. Suppose 3*m = -4*i - 99, s*i + i + 64 = 4*m. Let w be 3 + 2/3*i. Which is smaller: -1 or w?
w
Suppose -10*q - 8 = -14*q. Let h be 3*21/(-108) + q/6. Let c be -4 - (2 + 1*-2). Which is bigger: c or h?
h
Let b = -3.03 + 3. Let g = 49 - 16. Let x = g - 163/5. Is x less than b?
False
Suppose -2985 = -15*t + 3450. Is 429 smaller than t?
False
Suppose 5*t = 4*u + 284, 5*u + 4*t + 284 + 112 = 0. Which is bigger: -530/7 or u?
-530/7
Let c(u) = u**3 - 3*u**2 + 2*u - 1. Let s be c(3). Suppose -s*d - 1 = 4. Which is bigger: d or 1/17?
1/17
Suppose -4*f = 4*r - 0*r - 76, 2*r + 10 = 0. Let a be (f/348)/(4/6). Is -1 less than or equal to a?
True
Suppose a = -2*y - 0*y, -a + 5*y + 14 = 0. Suppose 3*w - a*w = -16. Which is smaller: 15 or w?
15
Suppose 7*j - 4*j = -4*j. Is j equal to -2/151?
False
Let a be 108/(2 + 0) + (3 - 1). Let v be 405/(-10) + 7/(a/(-12)). Are v and -42 unequal?
False
Let h = -141 - -159. Does 1/28 = h?
False
Suppose 0 = -5*v + 13*v + 32. Are v and -3 equal?
False
Suppose 46*i + 92 + 46 = 0. Is -1/149 at most as big as i?
False
Let q(t) = -8*t + 48. Let i be q(5). Which is smaller: 29 or i?
i
Let z = 20 + -103. Is z equal to -84?
False
Let u = 785 + -1034. Which is smaller: u or -247?
u
Let s(b) = 18*b**2 + 16*b - 41. Let u be s(2). Do u and 507/8 have the same value?
False
Let x be 0 - (2 - 9/(-12)). Let i be -4 + ((-6)/(-5) - (-19)/(-95)). Is x at least i?
True
Let y be 3 + (-2 - 0 - -2). Let a be y/18*(-30)/(-5). Is a bigger than 1?
False
Suppose 9*t + 530 = 4*t - 4*o, -4*o - 326 = 3*t. Which is smaller: -103 or t?
-103
Suppose -56 = -6*t - t. Suppose 0 = 15*c - 11*c - t. Which is smaller: c or 10/11?
10/11
Let o(g) be the first derivative of 2*g**2 - g**2 - 11*g + 11 - 7. Let c be o(5). Which is smaller: c or -2?
-2
Let c(w) = -2*w + 30. Let s be c(15). Suppose -20 + s = 4*d. Is -3 smaller than d?
False
Let d = -2/37 + 227/3515. Let w(c) = -c**2 - 20*c - 52. Let b be w(-17). Are d and b equal?
False
Let c = 0.8 - -0.2. Let g(a) = 3*a - 48. Let h be g(16). Suppose -2*x + 5 - 13 = h. Which is greater: c or x?
c
Let y(m) = -16*m - 28. Let w be y(-1). Is w < -1/3?
True
Suppose -24*d - 13 = -133. Does d = 36?
False
Let m = 8.5 + 45.5. Let y = 51 - m. Is y less than -3?
False
Let f(r) = -r**3 - 3*r**2 + 3*r + 1. Let c be f(-4). Suppose m + 0*m = c. Let o be -1*(28/(-10) + 3). Is o less than m?
True
Suppose 2*a + 4*k + 4 = -a, -4*a + 4*k + 4 = 0. Let d be (-7 - -7) + (-2)/(2 + a). Is -3 <= d?
True
Let b = -124 - -123.925. Which is smaller: b or -1?
-1
Suppose -9*k + 9 = t - 4*k, 4*t - k = -6. Which is bigger: -17 or t?
t
Let d be ((-16)/33)/(21/(567/18)). Which is smaller: -1/3 or d?
d
Let s = -937/3 - -313. Is -0.34 > s?
False
Let a = -45187/10947156 + 3/10516. Which is bigger: 1 or a?
1
Suppose -12 = 5*t - 7. Let z = -2001 - -674335/337. Is z greater than t?
True
Suppose 3*g = -2*j - 3*j + 79, -4*g = j - 128. Let u be -1 + 9 + (-62 - -88). Are u and g nonequal?
True
Let l = -14.8 - -28.53. Let n = -0.27 - l. Let v = n + 17. Which is greater: -1/3 or v?
v
Let w = 150 - 149. Is w > -5/8?
True
Let c be ((-1)/6)/((-83)/82668). Which is smaller: c or 1830/11?
c
Suppose c - 108 = -5*r, -28*c + 24*c + 2*r + 344 = 0. Which is bigger: 434/5 or c?
c
Suppose 3*x + 5*y + 70 = 0, 2*x + 5*y = 14 - 69. Which is smaller: x or -14?
x
Let o be 1/2 - ((-10205)/26 + 14). Which is smaller: 0 or o?
0
Let o = -2/2689043 + 1914599006/524363385. Let n = -18/5 + o. Let f(z) = -z - 4. Let l be f(-3). Do n and l have different values?
True
Let u = -1905/8 - 5963/8. Which is bigger: -985 or u?
u
Let o = 23.91 - 24. Let r = o - 0.01. Let b = 2.1 + r. Which is bigger: 0.7 or b?
b
Let s = -37 - -32.4. Let b = -5 - s. Let a = b + 0. Which is greater: a or 0?
0
Let x be 1*(-2)/10 - (-9576)/47480. Which is greater: 1 or x?
1
Let l = 0 - 0. Let s = 0.35 - 1.23. Let t = s - -0.38. Are l and t equal?
False
Let m(g) = -g**2 - 5*g + 17. Let c be m(6). Which is smaller: c or -45?
c
Let u be 4/14 + 2/(-7). Suppose 0*x + 17 = x - 5*f, u = -3*x - 5*f - 29. Let q be x/(-6) + 6/(-4). Are 1/26 and q non-equal?
True
Let h = 70/3803 - -46746126/19015. Let n = h - 2470. Let r = 648/55 + n. Is 0 greater than or equal to r?
False
Let s = 1793/985 + -4/197. Let n be 0/(1 + 0/(-1)). Suppose -3*r + 3 = -n*r. Which is smaller: s or r?
r
Let x be 7287/(-1485) + 5 + (-2)/11. Which is bigger: 1 or x?
1
Let r = -739.68 + 753. Let b = 0.32 - r. Is b < -2?
True
Let x be 24/(-180) - (-796)/(-330). Let d = 118/55 + x. Is -2.7 at most d?
True
Let a(v) = -16*v + 56. Let g be a(-6). Which is greater: g or 153?
153
Let n be 1/24*-4 - 782/12. Which is smaller: -64 or n?
n
Let k = 26 + -22. Suppose 20 = -i - k*y, 4*i - y = -5 - 24. Is -8 at most i?
True
Let s(k) = -k**3 - 3*k**2 + 4*k + 2. Let h be s(-4). Let y = h + -2. Is -2/5 greater than y?
False
Let l be (-2)/3 + (-1)/3. Let f be 18/(-27) - 13/(-10). Let t = -7/10 - f. Is t != l?
True
Let k be 140/6 + 12/18. Suppose -56*j + 60*j + k = 0. Is j equal to -6?
True
Let i = -3/82 + -445/164. Are 0 and i nonequal?
True
Let y(k) = -k**3 - 4*k**2 - 2*k + 9. Let a be y(-4). Let x be -9*4/(-6) - 3. Suppose x*q - 47 - 4 = 0. Is a > q?
False
Let j = -259.928 - -260. Which is bigger: 1 or j?
1
Suppose 0 = -8*f - 3*f + 220. Suppose 0 = -2*d - 4*q - 20, 2*d = 3*q + q + f. Which is bigger: -7/18 or d?
d
Let g be 2 - (4 + 1 + -1). Let y be 4 + (-3)/g*-2. Is y at least as big as -1/26?
True
Let d(t) = -4*t - 6. Let x be d(-4). Let f = -2741 + 2750. Which is greater: x or f?
x
Let h be (-49)/(-3) + 32/48. Let w be 2 - 0 - 1 - -15. Is w bigger than h?
False
Let s = -26 - -23. Let m be -1*(169/s - -4). Let d = m - 53. Which is greater: d or 3/5?
3/5
Let z be 1 + -4 + (-30 - -7). Let i = -3 + z. Is i at least as big as -29?
True
Let d = 0.34 + 0.56. Which is smaller: -0.2 or d?
-0.2
Let y = 1030 - 1029. Which is greater: y or 68?
68
Suppose s + 5*r = 12, 3*r = -4*s - 0*r - 3. Which is smaller: s or 0?
s
Let m = 102 + -99. Suppose -4*z + 17 = m*a, -a - 2*a = -5*z + 28. Is 2 at most as big as z?
True
Suppose 64*y + 8816 = 93*y. Which is smaller: y or 908/3?
908/3
Let u = 1 + -2. Let g be ((-2)/(-6))/(7/(-203)). Which is smaller: g or u?
g
Let v = 46 + -92. Let s = 66 + v. Is 20 >= s?
True
Let p(j) = 3*j + 50. Let v be p(-15). Suppose -5*x + 3*w = -111, v = -5*w + 20. Is x at least 22?
True
Let r = 0.6 + -0.3. Let n be 3/(-5) - -3*1/5. Suppose 0*j = -4*t + j - 1, t + 3*j - 3 = n. Is r < t?
False
Let u = -242/15 - -95/6. Let l = -11/10 - u. Which is smaller: l or 2?
l
Let j(b) = -7*b - 119. Let t be j(-17). Does -7/13 = t?
False
Let f = 1.531 + -1.431. Is