ues?
True
Let h be 2952/(-1672) - (-14)/(-266). Which is smaller: -21 or h?
-21
Let x(t) = -t**3 + t + 3. Let q be x(0). Suppose q*r + 70 = -2*r. Let w(o) = o + 30. Let i be w(r). Is i at most as big as 16?
True
Let u(x) = x**2 + 9*x + 6. Let i be u(-7). Let m be ((-3)/6)/(2/i). Let j(q) = q**3 - 9*q**2 + 9*q - 5. Let f be j(8). Which is smaller: m or f?
m
Let p(z) = 11*z**2 + 3*z - 3. Let k be p(1). Let s = k - 10. Which is smaller: s or 1/10?
1/10
Let g be (13/(-3) + 1)*(35 + -41). Suppose 5 = -k - 3*f, 5*f - 1 = 2*k + g. Let j(h) = 4*h + 1. Let o be j(-2). Is o at least as big as k?
True
Let l be (18 + -24)/(-1*(-2)/(-6)). Let y be (1/2)/((-3)/l). Are y and -4 equal?
False
Let o be 18/30 + (-99)/15. Suppose 0 = -5*p - 5*n + 3 + 17, -n - 16 = -4*p. Suppose -m = 4*r + 1 - 4, 6 = -2*m + p*r. Do o and m have the same value?
False
Let m = 182.83 - -2.17. Let s = -128 + m. Let l = 33 - s. Which is smaller: 2/3 or l?
l
Let z = 10.4 - 6.1. Let q = -4 + z. Which is smaller: 5 or q?
q
Suppose -2*l = 3*m, 0*l = -l. Let b = 3468 + -468178/135. Let z = b + 13/135. Is z at least m?
True
Let l = -37/6 + 167/6. Do -1 and l have different values?
True
Let q(x) = x - 3*x + 2 + 14 + 0*x. Let t be q(7). Do t and 2 have the same value?
True
Suppose 3*j - 4*w = 122, -3*j - 86 = -5*j - 2*w. Which is smaller: j or 207/5?
207/5
Let d = 4 - 4.3. Let f be -5 - (-405)/55 - 2. Which is smaller: f or d?
d
Suppose 3*u - w - 1 = 4*u, -3*w = -u + 3. Suppose -3*a + 2*a - 66 = 0. Let t be 4/22 + 78/a. Is u equal to t?
False
Let u be ((-12)/10)/(2/10). Let l = -0.72 + -34.28. Let v = l - -37. Is u > v?
False
Suppose 6*l - 17 = 7. Suppose 0*v = -2*v + l. Let u be (-10 - -9)*(-15)/v. Which is greater: u or 7?
u
Suppose 10 = -j - 0*j - 5*f, j = 2*f - 38. Let n be j/(-9) + (-3)/((-9)/2). Which is bigger: n or 5?
5
Let j = -2.8809 + 0.0809. Is 0.5 less than or equal to j?
False
Let k = -33.1 + 32.9. Let g = -2 + -9. Which is smaller: k or g?
g
Let i = 1.1 + -0.1. Let k = -130 + 120.96. Let n = k + 9. Is i bigger than n?
True
Let m = 42 + -37.6. Let y = m + -6. Let o = y - -1.5. Which is smaller: o or -1?
-1
Let i = 1.76 - -0.34. Let g = -2.1 + i. Is 0 less than or equal to g?
True
Let h be ((16/14)/(12/42))/2. Suppose -5*j + 5*i - 31 = 4, 0 = -2*j + 3*i - 17. Let m be (32/j)/2 - h. Are -6 and m non-equal?
False
Let h = -472 - -471. Let d = 4.12 - 4. Which is smaller: d or h?
h
Let r = -5.09 + 5. Let h = -0.1 - r. Let u = h - -0.01. Is u greater than or equal to 6?
False
Let c(t) = t**2 - 53*t + 198. Let r be c(49). Let b = -32 - -5. Do b and r have the same value?
False
Let p = -256 + 261. Which is greater: -1 or p?
p
Let j(m) = -2*m**2 + 20*m - 19. Let f be j(1). Is -6/25 bigger than f?
True
Let h = -824 - -825. Which is bigger: -3/221 or h?
h
Suppose -5*c + 3*l = -42, 2*l = c + 5*l + 6. Suppose 5*z - c = 3*z. Suppose 3*k - 5*k - 2 = 5*a, -z*a = 2*k - 6. Is 8 bigger than k?
False
Suppose 0 = x - 4*g + 63, 8 = 2*g - 4*g. Let d = x - -97. Is 18 smaller than d?
False
Let g be ((-1)/(-2))/(2/200). Suppose -4*m + g = -4*k - 6, 44 = -3*k + 5*m. Let i = k - -19. Which is greater: i or 5?
i
Let c = 179 + 15. Let a = -962/5 + c. Let n = a + -27/20. Which is bigger: -10 or n?
n
Suppose -21*l + 23 = 1010. Let r be 1*1/(-2)*96. Which is smaller: l or r?
r
Suppose 3*g - 3*v - v - 4 = 0, 0 = -2*g - 2*v + 12. Suppose -4*h + 4*b - 56 = -0*b, h + g*b = 11. Let i be (-6)/h*1/(-3). Which is greater: 0.2 or i?
0.2
Let u = 6 + 65. Let q be (-711)/((20*-2)/4). Let f = q - u. Is f at most -1?
False
Let g = -8.14 + 9.14. Let r = 4.07 - 0.07. Which is smaller: r or g?
g
Let b be -5 - (-28)/2*3. Are b and 37 nonequal?
False
Let o = 1177.2 - 1177. Let k be ((-12)/(-30))/((-12)/(-25)). Which is smaller: o or k?
o
Let o = -2 - -2. Suppose 2*u + 30 = 38. Let g be -5 + u + 84/82. Which is greater: o or g?
g
Suppose -48 = -7*a + a. Let d be 2/a - (-623)/(-28). Which is smaller: d or -24?
-24
Let f(g) be the third derivative of -g**4/12 + 3*g**3/2 + 25*g**2. Let w be f(4). Let d = -1627/8 - -203. Is d at most w?
True
Suppose 0 = -7*c - 34 + 27. Is c at most as big as -14/9?
False
Let u be (2 - (0 - -3))*-3. Suppose -9 - 6 = -u*s. Suppose -10 = -2*b + o, -5*b + s*o + 11 + 4 = 0. Which is smaller: b or 8?
b
Suppose 80*t + 2018 = 5698. Which is smaller: t or 57?
t
Let m = 8 + -7. Let g = -193/559 - 5/43. Is m less than g?
False
Let z = -90 + 95. Suppose 0 = z*t - 8*t - 3. Is -5/7 less than t?
False
Let f = 5 - 18. Let c = f + 9. Let k be (c - -14)/2 + -4. Which is smaller: k or 3/17?
3/17
Let i = 16 - 29. Let z be (-1*8/14)/((-42)/147). Is i smaller than z?
True
Let w = 2 - 4. Let g(i) = 2*i - 7. Let q be g(11). Let b = 13 - q. Is b not equal to w?
False
Let b = 45.9 - 46.1. Is b equal to -67?
False
Let h be 2/(-6 + 1111/184). Are 53 and h equal?
False
Let m be 7/2*(7 + -9). Let j(s) = s + 4. Let t be j(m). Let l be 5/((-100)/12)*(14 - -1). Is l not equal to t?
True
Suppose 5*z - 17 = -3*g, -9*z + 3*g - 14 = -11*z. Which is smaller: z or -1/430?
-1/430
Let m = -36 + -15. Let g = m - -46. Which is smaller: g or 2/9?
g
Let u = -1.872 - 0.128. Which is smaller: u or 23/4?
u
Let s be (2/2)/(1/(-13)). Let l = -16 - s. Is 5 not equal to l?
True
Let r(m) = m**3 - 3*m**2 - 17*m - 17. Let d be r(6). Suppose -u = -5*u - 44. Is u greater than d?
False
Suppose 5*g - 11 = q, 5*q + 33 = -g + 30. Which is bigger: -1/238 or q?
-1/238
Let t(i) = -i**2 - 8*i - 11. Let s be t(-6). Suppose -4*l + 11 + s = 0. Which is greater: l or -1?
l
Suppose -10*h = -8*h - 3*c - 1125, h = -3*c + 585. Is h at most as big as 569?
False
Let j be (14 - 15)*2*115/(-2). Let w = j - 111. Which is smaller: w or 27/7?
27/7
Suppose -8*s - 10 = -13*s. Suppose 5*d = d, s*d - 5 = -5*w. Is w greater than or equal to -2/11?
True
Let c be (2/3)/(10/375). Suppose -26 = -29*m + 28*m. Is m > c?
True
Let m be ((-32)/12)/((-2)/6). Suppose -4*h + 5*h = -4*y - m, -4*y + 2*h = -4. Let i be (-7)/(-9) - 2 - y. Is 4/5 less than i?
False
Let l = 64 + -93. Let p = l + 28. Are p and -1 equal?
True
Let c = 35.0214 + -0.0214. Is c bigger than 1?
True
Suppose 5*x - 7*z + 10 = -3*z, 3*x = -4*z + 26. Let h be 2*((-14)/4 + x). Suppose -2*a + 2*w = 4, a + 6 = -0*a - w. Which is bigger: h or a?
h
Let j = -1 - -38. Let k = -36.8 + j. Let u = 0.2 - 0.22. Are k and u equal?
False
Suppose -s = 4*s + t + 296, s + 5*t = -40. Let a be ((-2)/(-5))/(72/s). Which is greater: a or 1?
1
Let j be 2339590/(-4850) - (-9)/(-15). Let m = -483 - j. Which is bigger: m or 0?
0
Suppose 4*m + 0*k - 44 = 3*k, 3*m - 5*k - 22 = 0. Is m >= -2?
True
Let f be (-1092)/36 - (2 + 1). Are f and -32 non-equal?
True
Let d = 6.61 + -6.71. Is d != 627?
True
Suppose -5*d = -5*m - 60, -22*m + 4 = -24*m - 2*d. Do m and -2 have the same value?
False
Let u = -26 + 35. Suppose -u - 2 = -y. Let k(h) = 2*h - 17. Let l be k(y). Which is bigger: 4 or l?
l
Let u be (-12)/10*5*-1. Let i = -192517/6 - -32093. Which is bigger: i or u?
i
Let c be (4/(-14))/(6/336*-4). Let v be 12/(0 + c) + (-1 - 2). Is v smaller than 2/153?
True
Let a = 281.6 - 281.6. Is a <= -0.0091?
False
Suppose 0 = -130*y + 127*y - 270. Which is smaller: -89 or y?
y
Suppose -3*l + 13 = 34. Let q be 300/21 - (-2)/l. Which is bigger: 1/4 or q?
q
Let z be (-6)/(-20) + (-117476)/1720. Which is smaller: z or -3?
z
Let r = -77.9687 + -0.0313. Is r smaller than -0.3?
True
Let r = -0.16 - 2.84. Are -0.039 and r equal?
False
Suppose 2*u - 27 = 5*u. Let o be u/27 - (-23)/(-3). Let w = o + 1. Do -7 and w have the same value?
True
Let p = 543.73 + -543. Is 2/15 less than p?
True
Let w = -696 + 250. Is w < -445?
True
Let o = -121 - -4963/41. Let n = -1 + 2. Which is greater: n or o?
n
Let n = 12/53 + 494/159. Suppose 2*d = 3*z, 2*z = 4*z - 4. Which is smaller: n or d?
d
Suppose -13 = 3*f - 4*p, -18 = 5*f - p - 2. Let j(v) = v**2 + 2. Let y be j(0). Let k be (1 + 5)/(y + -4). Are f and k non-equal?
False
Let d(b) = b**2. Suppose -2*g - 3*g + 22 = 3*s, 4 = 2*g. Suppose 3*t - 4 + 3 = -w, -3*t = -4*w + s. Let a be d(t). Are -12/11 and a non-equal?
True
Let d = -1224 - -1318. Which is smaller: d or 95?
d
Let p = 235 - 189. Which is smaller: 47 or p?
p
Let j = -4922/9 + 533. Which is smaller: -13 or j?
j
Let d(z) = -16*z**2 - 2*z + 1. Let j = 14 + -13. Let h be d(j). Let m = h +