re 0.2 and u nonequal?
True
Let h = 10.83 + -9.3. Let k = 0.37 + h. Which is smaller: 2/9 or k?
2/9
Suppose -5*c - n + 444 = 0, -5*c + 0*c + 2*n + 432 = 0. Is c not equal to 1?
True
Let s(b) = -3*b**3 - b**2 - 2*b + 13. Let g be s(0). Is 12 at most g?
True
Suppose 6*y - 4*y = 3*y. Suppose 30 - 42 = -2*w. Is w at most as big as y?
False
Let v = 52/37 + -2101/1258. Is v less than or equal to 1?
True
Let w be (16/(-6))/(10/(-30)). Let y = 7 - w. Let i be ((-34)/10 + 3)*-10. Which is smaller: y or i?
y
Let k(x) = -7*x**2 - 5. Let r(u) = -6*u**2 - u - 4. Let d(a) = 5*k(a) - 6*r(a). Let z be d(-6). Is z != -5/7?
True
Let o be 20940/84 - (-6)/(-21). Is o at least 248?
True
Let r = -1 - -2. Let x = -63/5 + 789/65. Is r at most as big as x?
False
Suppose 0 = -20*k - 306 - 874. Is -58 less than k?
False
Suppose 36 = r + 2*v, r + v - 40 = -2*v. Suppose -r = f + m, m + 32 = -f - m. Let u be ((-7)/(-20))/(6/f). Which is smaller: 0 or u?
u
Let f(v) = -2*v + 3. Let b be f(-11). Let c be 384/(-14)*b/(-195). Let u = c - 42/13. Which is smaller: 0 or u?
0
Let r(g) = -141*g + 2 - 2*g**2 + 14 + 154*g. Let z be r(9). Which is bigger: z or -31?
z
Let y be ((-306)/(-24))/(15/(-140)). Is 2 less than or equal to y?
False
Let a = 19 - 27. Let g = -845 - -837. Is g smaller than a?
False
Suppose 94 = -3*g - 533. Let o = 3343/16 + g. Are o and -1 equal?
False
Suppose -15*v - 34 = 626. Is v equal to -50?
False
Let r(y) = 4*y**3 + 4*y + 5. Let p be r(-1). Let o be (p + (-7 - -4))/((-6)/(-40)). Which is bigger: -39 or o?
-39
Let m(l) = -l**3 + 14*l**2 + 7*l + 37. Let f be m(11). Does f = 478?
False
Let y be (1/4*0)/(-2). Let f = 23.964 - -0.036. Let w = -12 + f. Is y greater than or equal to w?
False
Suppose 4*a + 405 = 5*c, 3*a + 3*c - 24 + 321 = 0. Which is smaller: -507/5 or a?
-507/5
Let w be 7 + 6/(30/(-5)). Suppose -2 = y + 2*r - 11, -2*y - 2*r + 16 = 0. Which is bigger: y or w?
y
Let h = 185/17 - 13001/1190. Which is bigger: 0 or h?
0
Let y(v) = -3*v - 49. Let r be y(0). Is -47 != r?
True
Let h be -9*(-2)/12 - 9/6. Which is greater: -2/155 or h?
h
Let x be 1/((-2)/(-20))*1. Let v be (x/28)/(2/4). Let b = -6 + 7. Which is greater: b or v?
b
Suppose 5*z - 3*z = 4. Suppose -3*x - 60 = z*x. Let h = x - -16. Are h and 7/2 unequal?
True
Let r be (-2)/(-10) + 7 + (-1168)/40. Which is greater: 0 or r?
0
Let l = 2304 + -2366. Which is greater: -8 or l?
-8
Let g = 54 + -83. Which is smaller: g or -27?
g
Suppose 5*x - 1 = -3*z, -4*z - 27 + 5 = -5*x. Let m = x - 3. Let i be (-10)/80 - (-98)/(-112). Is i at least m?
True
Let g(l) = -l**2 - 7*l + 3. Let k be g(-9). Suppose 4*n = -0*x + x - 57, x - 42 = 3*n. Is n > k?
False
Let r = -19.58 - -17.2. Let t = -0.18 - r. Which is greater: -2/7 or t?
t
Let h(t) = 10*t + 707. Let m be h(-67). Is 183/5 at most m?
True
Suppose 5*k - 3*g + 44 = -4*g, -g = 4. Does -57/7 = k?
False
Suppose -28*f + 5 = -33*f. Which is smaller: f or -4/99?
f
Let d(u) = -2*u**2 - 42*u - 5. Let a be d(-23). Are a and -94 unequal?
True
Let f(m) be the first derivative of -m**2/2 + 5*m - 8. Let n be f(-1). Which is greater: 7 or n?
7
Let n be (1 + -5)*14/(-28). Let s be (29/(-2) - -4) + n. Which is greater: s or -8?
-8
Let c be (1 - (0 - 2))/1. Suppose 5*w + 56 = 3*m, 3*w - c*m + 36 = -0*m. Let a be (w - -1)*(-2)/(-6). Which is smaller: a or -2?
a
Suppose 0 = 4*u + 5*w - 28, 3*w - 8*w = u - 7. Which is bigger: u or 6?
u
Suppose -2*z - 2 = -0*z. Let l = -293/88 - -38/11. Is z at least l?
False
Suppose -2*i - 14 = 5*j, -3*j + 12 = -0*j. Let g be 2/(-15) + (-1)/(15/i). Is g at most as big as 4/43?
False
Let d(l) = l**3 - 4*l**2 + 4*l - 3. Let a be d(3). Let u be (-3)/1 + (-235)/75. Let m = 19/3 + u. Which is smaller: a or m?
a
Let n = -3.76 + 3.71. Which is smaller: n or 10?
n
Let u be 2/(-1) + (-12 - -23). Suppose -t = 10 - u. Let q = 4015/13 + -309. Is q greater than or equal to t?
True
Let x = -783 + 784. Is 1/177 smaller than x?
True
Let k = -3 - -5. Let j be (135/(-25))/(1/(-5)). Let a be (2/30)/(1/j). Which is smaller: a or k?
a
Let s be (-1)/((-50)/(-155)) + 4. Suppose -2*m + 10 = 6. Is m >= s?
True
Let v = -7.742 - -0.742. Which is bigger: v or -0.5?
-0.5
Let p = -6 + 16. Let w be 12*(-8 - 477/(-60)). Which is greater: w or p?
p
Let i(g) = -12*g**3 - 6*g**2 + 6*g - 1. Let d(w) = 11*w**3 + 5*w**2 - 5*w + 1. Let l(v) = -4*d(v) - 3*i(v). Let c be l(1). Is c < -15/2?
True
Suppose 309*y - 312*y = 258. Which is smaller: y or -85?
y
Suppose 5*y + 6 + 14 = 0. Let z = y + 3. Is 2/165 > z?
True
Suppose 0 = -7*l + 6*l. Suppose 4*n - 4*h - 19 + 59 = l, -n + 2*h = 10. Which is smaller: -8 or n?
n
Let v be 1/4 + 558/168 + -3. Is v not equal to 149?
True
Suppose 220 = 33*d - 29*d. Which is smaller: d or 56?
d
Suppose 0*q = -q - 2*s - 8, 0 = 3*q - 3*s - 12. Suppose -l + 27 = 4*d, q*l + 3*d = l - 13. Is l bigger than 21?
False
Suppose -2*d - 2 = -6. Suppose -3*j - d*j = -5. Suppose -9*u + 4*u + 10 = 0. Is u != j?
True
Suppose 0 = -19*d + 27 + 543. Which is greater: d or 29?
d
Let z be 2 + (1 - 3)/(-2). Let f be (64/48)/(2/z). Suppose 6 = 4*l + f. Which is greater: l or 1/3?
l
Let a(x) = -2*x - 7. Let b be a(-6). Suppose b*l = h + 19, 5*h + l = -0*l + 9. Is h less than -2?
False
Let p = -234 + 198. Which is smaller: -38 or p?
-38
Let l be (-4)/44 + (-765)/(-66). Are l and 2 non-equal?
True
Let m = -3.938 - 3.954. Let q = -0.092 - m. Let d = q + -8. Which is smaller: 1/3 or d?
d
Let v be (-118)/77 - (-176)/(-968). Is -3 at most v?
True
Let m be (-2)/(-3) - 24/9. Let w(p) = p + 1. Let x be w(m). Let g = -7 + 118/17. Is g at most as big as x?
False
Let c(d) = 2*d - 16. Let w be c(7). Let u be -3 - (-1)/w*2. Let v = 2 - 2. Is v greater than u?
True
Suppose -4*f - 2*t = -14, 4*t - 3 - 5 = -3*f. Let w = 1652/339 + -61/113. Which is greater: w or f?
w
Let q(s) = -s**2 - 21*s - 52. Let c be q(-18). Which is smaller: 35/13 or c?
c
Let w = 39 + -81. Let g be ((-6)/(-10))/(w/(-15)). Let i = 0 - 0. Which is greater: g or i?
g
Let f(p) = 5*p**2 + 8*p + 63. Let n be f(11). Which is bigger: 757 or n?
757
Suppose -5*a = 2*h - 3*h + 15, -5*a + 5 = 0. Suppose -16 + h = 4*q. Which is greater: q or 2/357?
q
Let f = -3.95 - -4.13. Does -3 = f?
False
Let s = -50 - -94. Let q = -38 + s. Is 0 <= q?
True
Let s = -6 + 15. Let c = -1.87 - -1.57. Is c greater than s?
False
Let q be (-5 + 2)/(2/2). Let v = 87 - 183/2. Let b = 1 + v. Is q at least as big as b?
True
Suppose -2*y = d + 13, -d + 8*y - 7*y - 7 = 0. Let s = -138/7 + 1532/77. Which is smaller: s or d?
d
Suppose -2*v + 4*p + 4 = -v, 4*v + 4*p - 16 = 0. Let j = 21 + -18. Suppose j*h = 5*h - 10, u - h - v = 0. Is 9 at most as big as u?
True
Let c = -40 - -96. Let x be 0 - (c/(-6))/2*6. Is x less than or equal to 1?
False
Suppose -3*b + 753 = 21. Suppose 0 = b*p - 241*p + 3. Which is bigger: p or 2/119?
2/119
Suppose -6*h = -9*h - 18. Let g(t) = 2*t + 12. Let o be g(h). Let w be (-2)/(-8) - 3/4. Is w smaller than o?
True
Let q be ((3 - 4)*8)/2. Let z = -22 - -12. Let g(c) = c + 10. Let w be g(z). Is q bigger than w?
False
Suppose 0 = 6*k - 4*k - 8. Let b be -1*12/k*4/50. Which is smaller: -1 or b?
-1
Suppose 7 = 5*l + 3*k - 10, 0 = 4*l - k. Suppose -3*g = -l - 5. Let t be g*(-5)/(-12) - 1. Do 1 and t have the same value?
False
Suppose 4*m = 55 - 19. Suppose 0 = -5*n - 14 + m. Is n equal to 1/53?
False
Let l be (2 + -7)*(1 + 6/(-10)). Which is smaller: l or -3?
-3
Let z = -74 + 112. Do -1/3 and z have the same value?
False
Suppose 0 = 3*b + 18 + 15. Let c = b + 6. Is -3 at least as big as c?
True
Let u = 7 - 40. Let l = u + 34. Is 0.5 > l?
False
Let c = 71 - 0. Does c = -2/9?
False
Let d be ((-2)/(-6)*3)/((-31)/2542). Is d > -83?
True
Let s(i) = -2*i**2 + 28*i - 89. Let q be s(5). Is q < 1/133?
False
Suppose 0*h + 126 = -18*h. Which is greater: h or 21?
21
Let i = -0.156 - 1.844. Let z(u) = u**3 + 8*u**2 + 4*u - 6. Let y be z(-7). Which is smaller: i or y?
i
Suppose 10 = z - 0*u + 5*u, z - 5*u + 10 = 0. Let g = -16380 - -24913982/1521. Let d = 3008/25857 + g. Are d and z equal?
False
Let v(c) = c**3 - 8*c**2 - c. Let k be v(7). Let d = 50 + k. Let j = 12 - 19. Which is smaller: d or j?
j
Suppose -3*d = -2*z + 10, 2*d - 3*d - 1 = -3*z. Let m be (7/(-7) - 17)*1. Which is bigger: d or m?
d
Suppose -4*v = -o - o - 34, -o + 33 = 3*v. Let t be (132/v)/(-