?
h
Let x = 91/206 - -6/103. Let t = 5 - 5.54. Let r = 0.7 + t. Is r not equal to x?
True
Suppose 0 = s + 2*s - 21. Suppose -c = l - 5, c + 0*c + 2*l = s. Is c at least as big as 3?
True
Let f be (-1)/(-2) - 22/(-4). Let m be (-40)/f*60/(-250). Is m at least 3?
False
Let u(f) = -1974*f**3 - 2*f**2 + 1. Let p be u(-1). Let n be -1 - (76937/(-39) + 3/(-9)). Let s = p - n. Which is bigger: 2 or s?
2
Suppose 526 - 175 = 3*n. Is n greater than or equal to 117?
True
Suppose l = t - 11, 80*l = -3*t + 85*l + 25. Which is greater: 18 or t?
18
Let r be (5/5 - -12) + -2. Suppose r*t = 15 + 29. Which is smaller: t or 9?
t
Let x(t) = t**3 - 6*t**2 - 3. Let r(d) = -2*d**2 + 3*d - 3. Let f be r(2). Let l be -2*(3 + f + -1). Let i be x(l). Is -4 greater than i?
False
Let b = 303 + -2423/8. Which is smaller: b or 1?
b
Let y = 635.72 + -636. Is 0.5 equal to y?
False
Let n = -10210 + 10221. Let g(x) = 2*x - 3. Let w be g(2). Let r be (w + (1 - 2))/2. Is r less than n?
True
Suppose -3*b - 28 = m + 8, -2*m = -5*b + 28. Suppose -11*n = -3*c - 6*n - 97, -5*c - 140 = -4*n. Is m at most c?
True
Let a be 1/(-2) + 86/4. Suppose 0 = 3*h, -74*l = -76*l + 5*h + 44. Which is smaller: a or l?
a
Let c = -150737/1118 + 1752/13. Is 0 at least as big as c?
True
Let z(w) = 2*w + 40. Let m be z(4). Which is greater: m or 49?
49
Let r be (12/(-15))/((-154)/(-55)). Is -1 >= r?
False
Let b be (-122)/(-28) + -6 - -1. Let a be (-1 + -1 + 2)/(-4 + 2). Do b and a have different values?
True
Let d = -83 - -82.958. Let v = d + -0.047. Is -1/4 less than or equal to v?
True
Suppose 4*d - 4*m = 8, 0 = -4*d - 4*m + 6*m + 8. Let v be (0 + (-10)/(-15))/(d/309). Which is bigger: 102 or v?
v
Suppose 2190 = 5*n + 5*r, 3*r + 441 + 13 = n. Which is smaller: 441 or n?
441
Let d be (-2)/(-362)*(-15)/(-45)*24. Is 1 bigger than d?
True
Let p be (270476/(-7))/(60/(-8)). Let i = 5152 - p. Let w = 199/315 - i. Is w equal to 2?
False
Let q = -152 - -153. Let w = 6 - 6.4. Let d = w - -0.5. Is d less than q?
True
Let d(f) = 6*f + 27. Let z(u) = 2*u + 9. Let w(x) = -6*d(x) + 17*z(x). Let l be w(-9). Which is smaller: 8 or l?
8
Let a be -1*-5*(2 + -1). Suppose 4*o = 3*r - 29, 7*o + 43 = a*r + 3*o. Which is bigger: r or 5?
r
Suppose 21 = 6*f + 3. Let j be 3/(-2)*2 + 2. Let u be (6 - j)/(3 + 1). Do f and u have the same value?
False
Suppose -1 = -3*x + 8. Which is smaller: x or 0.009?
0.009
Let p(u) be the second derivative of -u**4/12 - u**3/3 + 15*u**2/2 - 5*u. Let t be p(-5). Which is smaller: 1 or t?
t
Let h be 48/36*(39/4 + 0). Which is bigger: -8 or h?
h
Let p be -4 + 0 + 56/(-30). Let w = p + 626/105. Let c(z) = -z**3 + 5*z**2 + z - 5. Let y be c(5). Which is smaller: y or w?
y
Let q = 0.8 + -0.8. Let o be 7/11*(-6)/(-7). Is o equal to q?
False
Let b = -25.72 - -26. Let s = b - -1.12. Let i = s + -7.4. Do -0.1 and i have different values?
True
Suppose -32 = -5*d - 7. Let j be 23/4 - (-60)/(-80). Let h = j - -1. Which is smaller: h or d?
d
Let p be (-9)/(-2 + -1) + -226139. Let r = p + 57664598/255. Let w = 4/51 - r. Which is greater: w or 1/2?
1/2
Let g be 4/16 + 7/(-12). Let m = 4/33 - -112/165. Which is smaller: g or m?
g
Let v = 347/5 + -69. Let g = 41.4 - 41.5. Is g at least as big as v?
False
Let c be (-514)/(-10) + -6 + 3. Suppose 2*z - 31 - 65 = 0. Let n = c - z. Which is smaller: n or -1?
-1
Let h(l) = 7*l**3 - 4*l - 3. Let z be h(-1). Let i = 9 + -17. Is z greater than or equal to i?
True
Suppose -53 = -23*g + 16. Is g greater than 70/19?
False
Let s(t) = -25*t**3 - 2*t**2 + 4*t + 6. Let f be s(-1). Let j = -18 - -42. Do j and f have different values?
True
Let v(g) = -g**2 + 28*g - 50. Let n be v(26). Suppose n*w = 8 - 22. Is w bigger than -4?
False
Let k = -117/22 + 563/110. Let f(u) = u - 3. Let y be f(4). Is y < k?
False
Let v = 559 + -558. Is -3/200 >= v?
False
Suppose -276*w - 60 = -264*w. Let z be 1/((-1)/(-1))*-17. Let m = 12 + z. Do w and m have different values?
False
Let u = -28 - -123. Which is smaller: u or 98?
u
Let o = 53154 + -264054/5. Which is smaller: 344 or o?
o
Suppose 7*k - 6*k = -38. Which is greater: k or 2?
2
Let q = 1/14120 + 2107/10124040. Which is bigger: -1 or q?
q
Let j(q) = -q - 8. Let x be j(-10). Suppose 0*r + x*r = -24. Which is smaller: r or -11?
r
Suppose -7 = -3*b - 2*z, 5*b = -3*z + 8*z + 45. Let o be b + 0 + (25 - -4). Which is bigger: 33 or o?
o
Suppose -3*i = -b - 35, 6*i + 5*b - 41 = 3*i. Let w be ((-10)/(-6))/((-2)/i). Is -12 >= w?
False
Let t be (-3)/936*(-4)/(-3). Let h(o) = -o**3 + 10*o**2 + 29*o - 199. Let y be h(11). Which is greater: t or y?
t
Let h = 2458 - 307244/125. Do h and 0 have different values?
True
Let k be 17 + (-10)/(-2) + -2. Suppose 2*h - 1 = -y, -4*y - h + k = 2. Suppose 3*i - 8 = -2*x, 3*i - 7 = y. Which is greater: -3 or x?
x
Let k = 151.99 + -152. Which is greater: k or -0.1?
k
Suppose -4*v = -2*q + 106, -8*q + 7*q = 5*v + 122. Are v and -27 nonequal?
True
Let m be (-4)/(5 + 2 - 11). Which is greater: m or 6/83?
m
Let n = -688 - -696. Suppose -22 = -4*i - 6. Which is smaller: i or n?
i
Let w be ((-4)/(-16)*5)/((-1)/16). Do w and -19 have different values?
True
Suppose -2*l = -3*d - 21, 4*l = -13*d + 18*d + 45. Suppose 0 = -k - 5*h + 15, 0*k = 3*k + 3*h - 21. Suppose -k*m = -98 + 28. Is l less than m?
False
Let b = 31.28 - -4.72. Is b bigger than -5?
True
Let d be 3*(-2 - 68/(-12)). Let y be (-2)/(-7) - (-9)/(-7). Which is smaller: y or d?
y
Let n be (432953/589)/(0 + 1). Let s = n + -735. Which is greater: s or 1?
1
Let r = 0.14 + -0.07. Let d = r + -3.07. Let h be ((-228)/36 + 6)*(-6)/5. Is h != d?
True
Let j(u) = -10*u + 5. Let v be j(-1). Let k be ((-6)/10)/(3*10/v). Suppose 1 = -0*n - n. Which is bigger: n or k?
k
Let k(s) = -2*s**2 + 23*s - 28. Let v be k(7). Is -0.3 greater than v?
False
Suppose 0 = -5*u - 4*s + 11, -7*u + 8*u + 4*s = -1. Is -46 equal to u?
False
Let l be -33 + 4 + 7 + -7. Is l greater than or equal to 0?
False
Suppose 2*l - 36 = -2*l. Let j = 39 - 33. Let b = l - j. Is 2 at most b?
True
Let b = 1694 - 1844. Is b at least as big as -150?
True
Let z be (-6 + 6 - 6) + 37. Is 95/3 at most as big as z?
False
Let c(p) = -p**3 + 5*p**2 - 5*p + 10. Let n be c(4). Let z be (-9)/6*(n + -14). Is z != 12?
False
Let y be 3080/175*2*(-1)/28. Is -2 at most as big as y?
True
Let m = 4 - 26. Which is smaller: -153/7 or m?
m
Let k(l) be the third derivative of -l**4/12 - 3*l**3/2 + 3*l**2. Let s be k(-9). Is 10 greater than or equal to s?
True
Let a be (-4)/(-14) + 492/(-7) + -5. Is -78 greater than a?
False
Let c(k) = k**2 + 10*k - 11. Let v be c(-11). Suppose 3*q - 17 = -2*g, v*g - 4*q = -5*g + 8. Let u be (g/(-10))/((-2)/5). Which is greater: u or -4?
u
Suppose b = -0*b + 3. Let g be 1 - (-19 + 4)/b. Is g greater than or equal to 6?
True
Suppose 539*l - 546*l + 6118 = 0. Which is smaller: l or 2/5?
2/5
Let t = -3/1072 + -77091/33232. Let h = t + 668/341. Suppose i + 47*x - 1 = 45*x, 1 = i + 3*x. Is i less than h?
False
Let y be (2/(-6))/(13/156). Let l be (18/y)/(15/20). Let d(h) = -h**2 - 4*h + 13. Let w be d(l). Is 2 less than w?
False
Let p = 21 - 2. Let m = 43 - 50. Let d = p + m. Is d bigger than 1?
True
Suppose -6*o + 5 = -11*o. Let w be 165/10 - o/(-1). Let s = w - 16. Which is smaller: 8 or s?
s
Let a(r) = -r - 4. Let v be a(-5). Let u be ((-1)/(-8))/(v/(-2)). Let o = 103/8 + -13. Is o greater than u?
True
Let b = -9 + 14. Suppose 0 = b*k - 3*h + 519, -4*k - 26 - 402 = 4*h. Let n be 4/(-20) - 141/k. Is 1 > n?
False
Suppose -h - 50 - 32 = 0. Suppose -r - 3*x - 69 = 0, -x + 247 = -3*r - 0*x. Which is bigger: r or h?
r
Let l(w) = w**2 - 5*w - 1. Let h be l(6). Suppose 0 = h*i - 5. Let c be 24/(-4)*(-1)/10. Is i < c?
False
Let g = -28.16 - -28. Let q = -0.1 + g. Let j = q - 1.74. Which is smaller: j or -1/8?
j
Let i = -0.0489 + 0.0489. Which is greater: i or 850?
850
Let d be 37/4 + (-15)/(-20). Suppose 343 = 3*b - d*b. Which is smaller: -50 or b?
-50
Suppose 5*b - w - 6 = 17, 3*b = -4*w + 23. Let m(k) = -k**3 + 6*k**2 - 3*k + 2. Let s be m(6). Let y be 9/4 - (-4)/s. Is y != b?
True
Let j = 41 - 69. Let o = j + 45. Let a = o - 16.3. Which is greater: a or -1?
a
Let r be (-140)/(-30) + 4/3. Let a(s) = -s + 1. Let n be a(-5). Are n and r non-equal?
False
Let z = -116.8 - -60.8. Which is smaller: z or -0.4?
z
Let q = -