7/6?
w
Let h be (-528)/(-104) - (-1 + 1). Which is greater: h or 4?
h
Let a = 194 - 189. Let q = -4.49 - 0.31. Let l = q + a. Which is smaller: 2 or l?
l
Suppose -49*g + 21 = -50*g. Let z be (g/5)/(15/10). Is -4 smaller than z?
True
Suppose -5*q + 15 + 65 = 0. Suppose -5*x = -a + 8, -q = 4*x - 5*a + a. Suppose -3*u - 1 = 5. Which is bigger: x or u?
x
Let v(j) = j**2 - 29*j + 46. Let x be v(2). Let o be (-3)/(1/2*2). Which is smaller: o or x?
x
Let h be (306/(-800))/(6/4). Let q = h - 3/25. Let r(v) = 4*v - 31. Let n be r(8). Is n at most q?
False
Suppose -2*x + 15 = x. Suppose -n = 0, 0*i = i + x*n - 2. Let s(k) = k**3 - 2. Let r be s(i). Is 6 at least r?
True
Let o = 0.089 - 50.089. Let x = 49.6 + o. Which is bigger: x or -2?
x
Let u be (-76)/(-12) + (-4)/12 - 3. Suppose -c = u*c + 40. Is c less than or equal to -11?
False
Let c(n) = -n - 1. Let y(q) = -3*q - 5. Let a(j) = 5*c(j) - y(j). Let z be a(0). Which is smaller: z or 4?
z
Let t(n) = -n**3 - 12*n**2 - 2*n - 21. Let c be t(-12). Suppose 5*d = -4 - 6, d = c*k - 5. Which is greater: k or 1/18?
k
Let u = -9 - 51. Let y be (4*(u/(-9))/4)/(-6). Are 0 and y equal?
False
Let r = 5.193 - -0.107. Let b = -0.3 + r. Which is bigger: b or -1/2?
b
Let p be 7/((-21)/1)*6. Is p <= -98/37?
False
Let v be 140/(-432) - (-7)/28. Let b = 0 - -1. Does v = b?
False
Let d be -3 + (-1135)/20 + -6. Is d at most -66?
False
Let d(z) = 8*z - 22. Let i be d(7). Let v be 4/(-22) + i*(-27)/33. Is -28 < v?
False
Let t(s) = -s**3 - s**2 + 2*s - 11. Let l be t(0). Suppose 5*z = -g + 48, -7*g - 33 = -5*z - 3*g. Let h = z + l. Is h at most -5/8?
True
Let j be (-34)/(-3*(-10)/45). Let c = j - -55. Is c >= 8?
False
Let b = 27.97 + -27.9. Is b at most as big as 0.12?
True
Let y = -29.6 - -9.2. Let r = -12.4 - y. Are r and -2 non-equal?
True
Suppose 5*l + 101 = 6. Let p = l - -44. Which is greater: 24 or p?
p
Let g be (3 + -4)/(2/(-6)). Let v be 0/(g - 4/2). Suppose v = 4*d - 2*d + 4. Which is greater: d or -3?
d
Let y be 290/(-50) + 2/(-10) - -1. Is y equal to -35/9?
False
Let x = -3093/26 + 119. Let i = 2.0362 + -0.0362. Is i > x?
True
Suppose -24*q + 9*q = -75. Which is bigger: q or 48/11?
q
Let k = 1.497 + -1.197. Let b = -0.6 + -1.4. Let o = b - 0. Is o less than or equal to k?
True
Let j = 2.78 - 2.86. Which is smaller: -0.1 or j?
-0.1
Let a = 60719/80 - 759. Which is greater: -2 or a?
a
Let d be (12/10)/((-9)/120). Let i be d/(-4) - (-422)/(-104). Let k = 11/260 - i. Is k at least as big as 1?
False
Let h = 0.0493 - -0.0507. Which is greater: 667 or h?
667
Let z = 17 - 16. Let s = 0.08 - 5.08. Let q = s + z. Which is greater: q or -2?
-2
Let t(i) = -3*i**2 + i. Suppose 5*p + 2 = 7. Let x be t(p). Let d be x + (-165)/(-57) + -1. Is 0 < d?
False
Let i(x) = -7*x + 15. Let g be i(-9). Is g != 78?
False
Let u = -432 - -433. Let i be (2 + -3 - -2) + 6. Is i at least u?
True
Let f(z) = z**3 - 7*z**2 - 4. Suppose 0 = -3*w + 4*w - 6. Let m be f(w). Let r be 27/45 - (-14)/m. Are r and 11 unequal?
True
Let j = -42 + 21. Let p be 2/3*j/28. Is p greater than 2?
False
Let r = 120/17 + -634/85. Are -14 and r unequal?
True
Let m = 0.05429 + -2.30529. Let g = m + 29.231. Let c = g + -27. Is 4 != c?
True
Let f = 27 - 27. Let p be 3/(-12)*8/(-6). Does p = f?
False
Suppose 4*w + 38 = v, -5*w - 10 = -2*v + 51. Let n be -3*(-2)/v*-9. Let i = n - -4. Is 2 less than i?
False
Let r = -0.4574 + 0.0874. Is 4/3 smaller than r?
False
Let t(r) = r - 114. Let h be t(0). Let k = h + 796/7. Let g be ((-18)/(-60))/((-24)/20). Is k at most g?
True
Let x be (-4)/(-26) + (-186)/1209. Is x bigger than 2/363?
False
Let z be (-6052)/(-120) - (-6)/(-20)*2. Let i = z + -50. Let h = 6/41 - 112/205. Which is bigger: i or h?
i
Suppose 2*m - 6 = o + 5, 5*m = -5*o - 115. Is o < -22?
False
Let y = -12 + -26. Is -39 at least as big as y?
False
Let l = 10237488/17 - 601756. Let u = -1142 - -693. Let z = l + u. Do 0 and z have the same value?
False
Let o(g) = -24*g + 2. Let q be o(-3). Which is bigger: q or 75?
75
Let g be (117/(-18))/(2/56). Let l be (-16)/(-56) - (-59)/g. Is l equal to 0?
False
Suppose -3*x + 184 = -u, 41*u - 238 = -4*x + 46*u. Is x at least 57?
True
Let n = -1017/2 - -509. Is 6/25 at least as big as n?
False
Let f = 19 - 12. Let c = 0.172 - -2.828. Which is bigger: c or f?
f
Let y = -252 - -242. Which is smaller: y or 2/21?
y
Let a(d) = -d + 5. Let j be a(5). Suppose j = -5*t - 22 + 192. Let p be -2 - 1 - t/(-10). Which is bigger: 0 or p?
p
Let n(o) = -o**2 + 26*o + 29. Let w be n(28). Is -26 at least as big as w?
True
Suppose 5*n - 5*d + d = 44, 4*d - 12 = -2*n. Suppose 3*l - n = 7. Which is smaller: l or 4?
4
Let s be -2 + ((-211224)/8128)/(-13). Which is smaller: s or 1?
s
Let m(u) = u**2 - 4*u - 4. Let x be m(6). Let o = -2 + 9. Let l = o - x. Is 0 less than or equal to l?
False
Let h = 74 + -80. Suppose -4 = 5*x + 6, 0 = -4*l - 2*x + 44. Let t = l + h. Which is smaller: 4 or t?
4
Suppose -11*w + 143 = 231. Which is greater: -95 or w?
w
Let b be 0 + 0 + 15 + 2. Let u = b - 1. Let v = u + -19. Are v and -3 unequal?
False
Let m = 4 + 8. Let r = m - 11. Suppose -2*h - 3*f - 11 = -0*f, f = -4*h + 3. Which is greater: r or h?
h
Suppose 2*g - 33 = -g. Suppose -g*x - 1380 = -7*x. Let m be (3 + 2)*(-2)/x. Is 0 <= m?
True
Let u = 42 + -37. Suppose q + 2*p - u = 0, -3 = -q - 4*p + 6. Which is smaller: q or -1?
-1
Let q = -1298 - -1297.89. Is 89 at least q?
True
Let w(t) = 7*t. Let c be w(-2). Let p = 56 + -42. Let v = p + c. Which is smaller: v or 2/5?
v
Let y = -31/2 - -17. Let u be (-10)/((-4)/(-2)) + -2 + 9. Is y bigger than u?
False
Suppose 0 = -2*j + j + 4. Let b be 0/((-4)/(-2 + j)) - -57. Is 2/5 at least b?
False
Let a = -92 + 105. Suppose 0 = a*i - 8 + 21. Is i at most as big as -2/21?
True
Let w = 262 + -261. Which is greater: w or -124?
w
Suppose 4*r + 4*u - 28 = 0, -5*r - u + 13 = -r. Let v = 13.8 - 15. Let t = v - -1.3. Which is smaller: r or t?
t
Let g be (-3)/5 - (-232)/20. Let u be g - (4 + 0 + -6). Which is greater: u or 25/2?
u
Let c = 0.3 - 0.4. Let r = -1.4 + 1.3. Let z = 0.13 + r. Is z at least c?
True
Let j = 1767 - 1767.3. Let y = 1169/9 - 130. Is y less than j?
False
Suppose -1 = -k - 2, 3*k + 6 = 3*s. Let h be 3 - (1 - s)/(-3). Are 8/5 and h unequal?
True
Let h(c) = -2*c - 16. Let v be h(-11). Let l be 9 + -10*4/8. Which is smaller: l or v?
l
Let n(p) = -3*p - 118*p**2 + 119*p**2 + 3*p. Let r be ((-4)/(-8))/((-1)/2). Let i be n(r). Are i and 2/5 nonequal?
True
Let o = 8191595145419/831871530820 - 6502594/683545. Let t = 239/3254 - o. Let a = -2/187 - t. Which is greater: -1 or a?
a
Let f = 12 - 25. Let t = 1/149 + 147/298. Is f less than t?
True
Let a = -50 - -16. Which is smaller: -31 or a?
a
Let o(k) = -2*k**2 + 12*k - 17. Let i be o(3). Which is smaller: i or 16/9?
i
Let h(v) = -5*v + 9. Let d(b) = 21*b - 36. Let o(l) = 2*d(l) + 9*h(l). Let k be o(4). Is k < 16?
True
Suppose -371 = 6*i - 53. Which is smaller: i or -588/11?
-588/11
Let b be -3 + 98/5 + 8/20. Let z be (-1 + 0)*(-3 + b). Is -14 > z?
False
Suppose 2*f + 3*r = -38, -3*f + 3*r = -2*f + 28. Let m = -200/9 - f. Is m greater than -0.03?
False
Let r = 13.0726 - 0.0726. Which is smaller: 3 or r?
3
Let v = -0.1 - -0.3. Let m = -743 - -742.9. Let t = v + m. Is 0.09 >= t?
False
Let i = 2730 + -2729. Let z(m) = 38*m**3 - m**2 + m. Let y be z(1). Are y and i nonequal?
True
Suppose 5*x + 634 = 144. Let o = -41 - x. Is 57 less than o?
False
Suppose -50 = 4*t - 2. Let b be (t/(-18) + (-112)/6)*-1. Are 18 and b equal?
True
Let w(j) = 12*j**2 + 2*j + 1. Let i be w(-2). Let n be (-8)/(-6)*i/130. Let d be -2 + 4 - (2 - -1). Which is bigger: d or n?
n
Suppose 3*d + 5*k - 15 = 0, 0 = -2*d + 2*k - 5 - 1. Let p be -7 + (1330/21)/10. Which is smaller: p or d?
p
Let a(z) = 2*z**2 - 8 - 14 - 22*z + 0 - 5*z**2. Let y(g) = -g**2 - 11*g - 11. Let k(p) = 2*a(p) - 5*y(p). Let t be k(12). Which is bigger: t or -2?
t
Let f be (-1904)/70*(-1)/(2/5). Are 333/5 and f equal?
False
Let p(k) = k + 8. Let n be p(7). Let j be ((-27)/n)/(-3) - 1. Let g = 2 - 13/7. Which is smaller: j or g?
j
Let t = -29 - -33. Let c be (3/t)/(18/(-12)). Does 3 = c?
False
Let z be -2*3/(-27) - 6715/7821. Which is bigger: -2 or z?
z
Let y = -26.37 + 0.11. Let t = y + 26. Let c = t - -0.16. Is c greater than or equal to -