6)/33. Which is greater: t or -33?
t
Suppose 2*b - 3*b = 0, 2*h - 2*b = -670. Which is smaller: h or -334?
h
Let a be 3 + (-3 - 1) - -1. Let c = 2/1407 + -211/7035. Is a smaller than c?
False
Let y(v) = -28*v + 1255. Let x be y(41). Is 1/2 equal to x?
False
Let p = 480 + -287. Suppose 0 = -2*j - 2, 5*t - p = -j - 4. Let v = t - 40. Is -2 at most as big as v?
True
Let p = 66 - 67. Let y be (-2 - -4)/(p - (-124)/116). Which is greater: y or 30?
30
Suppose -17*k - 130 = 363. Which is smaller: k or -26?
k
Let j(o) = o**3 + 14*o**2 - 34*o - 29. Let l be j(-16). Suppose 2 = l*z + 5. Is z <= 2/21?
True
Let y(t) = 37*t + 148. Let k be y(-4). Which is greater: -13 or k?
k
Let i(w) = 99*w**2 + 6*w - 8. Let j be i(-6). Let z be 4/3 - (j/(-195))/(-11). Is 1 greater than or equal to z?
True
Suppose 2*b = -b + 6. Suppose 4*t = 4*c - 12, -2*c - b*t = -t. Let h = 6/7 - 4/21. Which is smaller: c or h?
h
Let c be 390/(-24) + 688/43. Let v(r) = -r**2 + 8*r. Let w(q) = -q**3 - 7*q**2 + 7*q - 1. Let d be w(-8). Let j be v(d). Is c less than j?
True
Let c = 10958/135 + 44/27. Is c > 84?
False
Let v = -171.98 + 172. Is 2 <= v?
False
Let t = 53623/21 - 2552. Which is bigger: t or 2?
2
Let z(x) = 0*x + 2*x + 4 + 4*x + 24. Let k be z(-6). Which is bigger: k or -26/3?
k
Let c = -30 - -33. Suppose 5*s + 6*f + 15 = c*f, -3*f - 15 = 4*s. Let o be (3 - (-3)/(-1))/(-1). Is o less than s?
False
Let r be (1/(-5))/(1/3). Let n(b) = -b**3 - 2*b**2 - 8*b + 9. Let y be n(1). Which is smaller: y or r?
y
Let j = 23 - 30. Let p be -4 + (-1 - 31/j). Is 0 >= p?
True
Suppose 4*z - 8 = 0, -z + 206 = -3*h - 0*h. Do h and -64 have different values?
True
Let g = -18.46 + -0.54. Are g and 2 equal?
False
Suppose -4*i - 4*n - 7 = 13, -i + 15 = -4*n. Let d = -7 - 4. Let h = d + 8. Do i and h have the same value?
False
Let m(c) = -5*c + 26. Let x be m(5). Let s be x - ((-4)/2 - -13). Which is smaller: s or -34/3?
-34/3
Suppose 2*w - 26 = -4*h, -2*h - 19 = -2*w + h. Suppose w*x - 3 = 12*x. Is x greater than or equal to -5?
True
Let x be (3*4)/((-442)/(-3315)). Let s be (90 - -2) + -1*1. Is s less than or equal to x?
False
Suppose 32*a = 10*a. Does -8/13 = a?
False
Let a = 6 - 1. Suppose -35*v - 6 = -41*v. Suppose 0 = -d - a*z + 9, -2*d - 2*z = 3*d + v. Which is bigger: 3 or d?
3
Let i(q) = -2*q**2 - 23*q + 149. Let b be i(5). Is -15 < b?
False
Suppose -2*k + s = -12, 0 = -3*k - 4*s + 2*s + 11. Which is smaller: k or 4?
4
Let y = 6226 + -6225. Let l(c) = -2*c**3 - c**2 - 3*c - 3. Let q be l(-2). Suppose 0 = -7*t + 2*t - q. Which is smaller: t or y?
t
Suppose -138 = -4*p - 5*z, 5*p + 3*z = 199 - 33. Is p at most as big as 46?
True
Let k = 0.58 - -0.02. Let d = 112 - 118. Is k <= d?
False
Let u be 22/(-187) + 48/119 + 66/14. Let r = -7/95 - -1453/380. Is u greater than or equal to r?
True
Suppose n - 4*n = 12. Suppose -13 - 147 = 160*t. Are t and n unequal?
True
Let p(o) = -o**3 + 4*o**2 - 2*o - 2. Let k be p(2). Suppose k*u - u = 0. Let g = -3 + u. Is -3 equal to g?
True
Let d be 16/20 - (-108)/15. Suppose -t = 3*t + d. Let i be 20 - 8*t/4. Which is smaller: 25 or i?
i
Let m = -345 - -341.73. Let q = 3.1 + m. Let l = q - 0.23. Is l equal to -3?
False
Suppose -5*m = 2*q - 4, -4*q = -3*m + 4*m + 10. Let c be 1/(3/78) - m. Let h be (-6)/c*16/(-102). Which is bigger: 0 or h?
h
Let w(m) = -m**3 - 16*m**2 + 17*m + 11. Let d be w(-17). Let b be ((-10995)/396)/5*-2. Let f = b - 20/33. Which is smaller: f or d?
f
Let u be -6 + 10 + (-18)/6. Let y be 4/12*3/(-142). Which is smaller: u or y?
y
Let i = -14 - -24. Suppose 0*w - 8*w = -40. Let j be 3/((-6)/4*w/(-25)). Are i and j equal?
True
Suppose 3*d - 5*d - 4 = 2*q, 4 = d. Let l(u) = u - 8. Let h be l(q). Let b = -16 - h. Which is bigger: b or -3?
b
Suppose 2*x - 204 = 4*d, 5*d - 3*x = -2*x - 255. Let o = d - -47. Which is greater: o or -20/7?
-20/7
Suppose 3*r + r = -32. Let y be ((-4)/r)/(11/(-10)) - -1. Is y greater than or equal to 0?
True
Let d be (-2 - -156)/1*56/(-32). Let b = d - -51207/190. Which is bigger: b or 0?
b
Let c(g) = -30*g**2 + 300*g + 1. Let y be c(10). Does -40/97 = y?
False
Let o(l) = 2*l**3 + 43*l**2 - 25*l - 67. Let j be o(-22). Let b be 5*3/(-15)*-2. Suppose b*m = m - 2. Which is smaller: m or j?
m
Let l = -12 - -11.979. Let q = 0.079 - l. Let y = -23672/45 + 526. Which is greater: q or y?
q
Let r = 2760.493 + -2746.6. Let w = 0.107 + r. Which is greater: w or 5?
w
Let t be (27/(-7) - -4)/((-9)/(-21)). Which is smaller: 152 or t?
t
Let h = -0.05 + 3.05. Let s = -13 + 21. Let g = 6 - s. Is g >= h?
False
Let v = 12 + 23. Let x = 24 - v. Is x > -11?
False
Let p be 11 + -8 - (-1277)/(-426). Which is greater: p or -1?
p
Let u be (-3706)/4*(-286)/377. Let q = -703 + u. Which is greater: 0 or q?
0
Let q be ((-1)/(-2) + 0/(-6))*4. Suppose -3*d - q*m + 5*m = 75, -4*d - m - 75 = 0. Suppose -12 = w + 9. Which is bigger: d or w?
d
Let o = -5594 - -28097/5. Let h = 26 - o. Suppose -18 + 21 = s. Which is bigger: h or s?
s
Let j(a) = 3*a**2 + 4*a - 8. Let p be j(-5). Suppose 0 = -p*i + 42*i - 5. Which is greater: -9/7 or i?
i
Suppose -5*y + 0*w - 4*w = 0, 0 = 5*y - 3*w - 35. Suppose 11 = 5*d - y. Suppose 16 = s - d*s. Is s > -7?
False
Let g = -1227 - -14707/12. Which is smaller: g or -1?
g
Let v = -60273/2 - -661003/22. Is v not equal to -90?
True
Suppose 2*p - 111 = 5*a, -2*a - 39 = -3*p + 133. Do 58 and p have the same value?
True
Suppose -18 = -4*z + z. Suppose 2*m = -p + 30, p = -m + 9 + z. Suppose -5 = -m*k + 16*k. Which is bigger: -3 or k?
-3
Let f = 8903795884/1683 - 5290431. Let i = -1/1683 + f. Which is greater: i or -1?
i
Let v = 318 + -318.1. Does v = 5.2?
False
Suppose -2*w - p - 4*p + 35 = 0, -5*w = -p - 101. Let k = -14 + w. Suppose -3 + 39 = -k*j. Which is smaller: j or -5?
j
Suppose -z = -3*s + 10, 4*s - s - 2*z = 8. Let l(c) = c**3 - 3*c**2 - 5*c + 6. Let i be l(s). Suppose -2*n + 5*r = -i - 10, -4*n + 3*r + 10 = 0. Is n <= 0?
False
Let k = 575 - 574.2. Are -1.9 and k nonequal?
True
Let v be (-14)/4 - (-1)/2. Let w be (-8)/5 - v/5. Let s = 0.3 - 1.3. Is w less than or equal to s?
True
Let c = 2655.3 + -2657. Which is bigger: c or -8?
c
Let t = 5 + 0. Let r = 0.5558 + -0.0558. Is t smaller than r?
False
Suppose p - 5*p - 30 = 2*i, -2*p - 9 = -i. Which is bigger: p or -13?
p
Let i = 321895/703 + -30922/37. Suppose f - 4*j = 390, -1434 = -5*f - 4*j + 444. Let r = i + f. Which is smaller: 0 or r?
0
Let s = -24 - -25. Let d be (s*(-10)/15)/1. Which is smaller: d or 13?
d
Let h = 34.6 + -6.6. Let f = h - 27.7. Which is smaller: f or -0.2?
-0.2
Let z = 1947/4 - 487. Suppose -4*r - 3*s = -52, -2*s = -5*r + 2*s + 34. Let h = 6 - r. Which is smaller: z or h?
h
Let k = -1.04 + -20.96. Which is bigger: -2 or k?
-2
Let m = 12.1 - 13. Let j(f) = 3*f**2 + 3*f - 1. Let l be j(-2). Suppose 0*v - v - l*q = -6, 3 = 3*q. Which is smaller: m or v?
m
Let j be (3 + (-16 - 0))*-1. Let x be j + (-4)/(8/6). Let g be (x/35)/((-9)/(-7)). Which is smaller: g or 1?
g
Let y be (14 - 1) + (4 + -3 - -2). Are y and 13 nonequal?
True
Let n = 28.96 + 0.04. Let f = -47 + n. Let z = f + 18.1. Is 0.1 less than z?
False
Let q = -1039/3 - -346. Is q not equal to 3.2?
True
Let p = 558 - 612. Which is bigger: p or -51?
-51
Let l be 216/(-1430) - 8/(-44). Suppose -3*m - 3 + 6 = 0, -3*m + 3 = i. Is l > i?
True
Let w = 4 - -20. Let x be (1 - 1) + -4 + w. Suppose -2*v + x = v - c, v + 4*c + 15 = 0. Is 6 smaller than v?
False
Let q be 524*(102/136)/(6/(-4)). Which is smaller: q or -263?
-263
Let r = 392 + -392. Which is smaller: 28/19 or r?
r
Suppose -25*q - 801 = -34*q. Is 87 at least q?
False
Let y = -1 - 1. Let t be (-2)/y*(-6)/(-3). Let x = -54 - -53.7. Which is smaller: t or x?
x
Suppose -2*c - 3*c - 20 = 0, 0 = w + c + 5. Let j be 361/45 + (-4)/18. Let z = j - 673/85. Is w greater than z?
False
Let l(w) = -w**2 + w + 70. Let m be l(0). Let y = m - 40. Suppose y = -3*n - 12. Is n greater than -14?
False
Let a be ((-54)/243)/(-10*5/(-12)). Is -1 greater than a?
False
Let u be 8/((-4)/3 + 2). Let o be ((-10)/(-45))/((-76)/u). Let j = 4 + -5. Is o bigger than j?
True
Let h = 6 + -5.99. Let l = -0.09 - h. Let n be (-1)/(-1)*4/(-6). Which is smaller: n or l?
n
Let z = 582 - 731. Do -149 and z have the same value?
True
Let n = -12 + 0. Let o be ((-3)/12)/((-22)/n). Is -1/3 