22106/4591 - -93100. Which is smaller: x or 1?
x
Let y = -13088.121 + 13098. Let u = -0.121 - y. Which is bigger: u or -0.2?
-0.2
Suppose -4*p - 23 = -15. Let j(u) = u**3 - 2*u**2 + 4*u + 17. Let k be j(p). Let s be 1 + 0 - (-13)/(-2). Is s bigger than k?
True
Let w be ((-4)/1 + -2)*72/54. Let h be (-30)/20*(w/(-278))/1. Which is smaller: 1 or h?
h
Suppose 2*l - 65 + 55 = 0. Suppose l*a - 96 = -2*c + 45, -a = 2*c - 121. Which is bigger: 57 or c?
c
Suppose -57621 = n + 44*n - 174216. Are n and 2589 non-equal?
True
Let u be (-1)/(-10) - (-21574)/(-140). Suppose 381 = 5*k + 1156. Is k less than u?
True
Let w = 3.1 + -0.4. Let h = w + -2.7. Suppose -4*y - 8 = -36. Which is greater: y or h?
y
Let h = 3 - 7. Suppose 7345*i - 7384*i = -390. Which is greater: h or i?
i
Suppose 37 = 3*f + 5*j + 11, -2 = -3*f + j. Suppose 0 = c + 4*d + 136 - 39, d - 167 = f*c. Is c at least -86?
True
Suppose 0 = 6*s - 11*s + 140. Suppose 1549 = s*x - 4751. Is 226 < x?
False
Let g be 5/(-2)*2*-1. Suppose g*w = w + 28. Suppose 0 = -i - 3*x + w*x - 61, -3*x + 102 = -2*i. Which is smaller: -44 or i?
i
Let f be 28/94598*-40541 - -12. Is f at least 0?
True
Let v = -0.2 + 0.2. Let n = 0 + v. Let q = -44650 - -44686. Which is smaller: q or n?
n
Suppose -2*q - 4 = -4*q. Let h be (q/3)/(3/(-63)). Let d be (-2)/1 - h/8. Is d > 1?
False
Let c(v) = -2*v + 54. Let u be c(-13). Let y be ((228/u)/19)/(12/10). Which is bigger: y or 0?
y
Suppose -5*x - 31 - 4 = 2*u, 4*u + 28 = -4*x. Is u greater than or equal to 2/10741?
False
Let u = 3306 - 2209. Which is smaller: u or -2?
-2
Suppose 4*o + 112 = 5*r, 3*o - 88 = -5*r - o. Suppose r - 71 = 17*u. Which is greater: u or -1/4?
-1/4
Let l = 399 - 195. Do 204 and l have different values?
False
Let x(w) = 8*w**2 - 27*w - 86. Let b be x(6). Is 672/17 > b?
False
Let w(q) = 60*q + 573. Let h be w(-8). Which is smaller: 67 or h?
67
Let m be (-20)/(-90) + (-2633)/63. Let a = m - -1395/28. Suppose 2*z = -3*n + 20, -n + 38 = 3*n - 3*z. Which is smaller: n or a?
n
Let v(u) = u**2 - 16*u + 27. Let j be v(22). Let r = 184 - j. Are 101/4 and r equal?
False
Let v = -18 - -26. Suppose -o = 4*t - v, -o + 6*o = -2*t + 76. Let f be (-4 - 0)/o + 5/4. Which is smaller: -3/62 or f?
-3/62
Let n = 154 - 748/5. Let x = -54 + -29. Let q = x + 88. Is n greater than or equal to q?
False
Let x = 2313128/321 + -7206. Let b = 0 - 0. Which is greater: x or b?
x
Let s be 46/(5244/3006) - 27. Let g be 2/3 - (-2)/(-3). Is s less than g?
True
Suppose 15*d = 8*d + 252. Let z be 210/(-72) - 3/d. Which is greater: -4 or z?
z
Suppose g - m = -3, 3*g + 5*m - 292 = -237. Let n(b) = -b**2 - 6*b. Let h be n(-5). Let l = 8 - h. Which is smaller: l or g?
l
Let h = -20 - -9. Let d = 644.1 + -645.2. Which is smaller: d or h?
h
Let g(s) = s**3 - 23*s**2 - 45*s - 114. Let c be g(25). Is c at most as big as 418/37?
True
Let o = -20.143 - -20.243. Is 0.3876 not equal to o?
True
Suppose -2*u + 5*u + 5*s - 208 = 0, -3*s - 12 = 0. Let y be (u/30)/(7*(-10)/(-175)). Let r be 0 + (8 + -1)/1. Does y = r?
False
Let r = -96 + 176. Suppose k - 6*k - r = -5*x, -2*x + 5*k + 47 = 0. Let a(b) = -5*b + 1. Let c be a(-2). Is x != c?
False
Let n be 1/2 - (-10110)/47110*-7 - -1. Is n less than or equal to 0?
True
Let h = 14195 - 14192. Are 472.8 and h non-equal?
True
Let g be -2 - 1*26/(-11). Let n be (-8)/8 - 4/(-6). Let r = g + n. Which is smaller: -1 or r?
-1
Let z = 313 + -310. Suppose -7*t + 8*t - 106 = 3*u, -z*u - 98 = t. Is -35 greater than or equal to u?
False
Let m = 49 - 209. Let x be m/60*(-1)/(-6). Let p = -18 + 18.05. Which is greater: p or x?
p
Let n(p) = -2*p**3 + 3*p**2 - 2*p + 2. Let s be n(2). Suppose 7 = 9*f - 29. Suppose -f*m = 5*m - 0*m. Which is smaller: s or m?
s
Let t be -6*((-17)/30 - (-16)/40). Which is smaller: t or 2/4371?
2/4371
Let k be 3/(-36)*(-2 + 8334/4149). Is k at most -1?
False
Suppose t + 7 = 3*m, -1 - 18 = m + 5*t. Let i be (-1 - 0)*242/(1 + m). Let h = i - -874/7. Which is smaller: 5 or h?
h
Let c be 2/(-3)*9/(-2). Suppose c*p + 2*p - 2*a = -138, 5*p + 143 = -3*a. Let w = p - -27. Is w equal to -5?
False
Let t be 24/(79 - -17) - (-29953)/(-4). Are -7489 and t unequal?
True
Let u(s) = s**2 + 5*s - 6. Let y be u(-6). Suppose 28*f + 4*i - 65 = 33*f, 0 = f - 2*i + 13. Which is bigger: y or f?
y
Let w = 7.21 - 6.21. Let t(x) = 2*x**2 - 3*x + 3. Let o be t(2). Suppose o*d + 42 = 2*d. Which is greater: d or w?
w
Let n(j) = 62*j**2 - 2005*j + 22. Let c be n(31). Which is smaller: -2549 or c?
c
Let t = -41/213 + 6817/50907. Do 1 and t have different values?
True
Suppose -212*f - 3865 - 490 = -751. Let x(d) = d - 4. Let p be x(-16). Which is smaller: f or p?
p
Let k = 18556 - 18627. Is 42 at least k?
True
Let c = 964614926 + -12620057061203/13083. Let x = 59/49 - c. Which is greater: 1 or x?
1
Let z(u) = -243*u + 21. Let p be z(6). Let d be -1 - (4 + p/288). Are d and 1 non-equal?
True
Suppose l = -4*l + 115. Suppose 5*x + 37 = 2*f, -2*x + 86 = 14*f - 10*f. Which is greater: l or f?
l
Let o = 267 - 263. Suppose 4*l = -h - 8, 6 = -5*l - o. Is h greater than 4/445?
False
Let b be 117/3 - ((-4 - -2) + 2). Suppose 35*p + 284 = b. Are p and -27/5 equal?
False
Let g = 6522 - 5743. Which is smaller: g or 780?
g
Suppose 30*z - 32*z - 104 = 0. Let q = 76 + z. Is 22 at most as big as q?
True
Suppose 2896 - 209 + 1793 = 35*p. Which is greater: 126 or p?
p
Let z = -14 + 16. Suppose 5*c = z*t - 63, -41 = 2*c + 3*t - 12. Which is smaller: c or -9?
c
Let s = -99 - -102. Let i be ((-15)/(-5) - 0) + s. Are i and 8 non-equal?
True
Let s = 191/209 + -229/209. Let p = -1 + 0. Which is smaller: s or p?
p
Let a(t) = t**3 - 4*t**2 + 2*t + 3. Let w be a(3). Suppose 5*c - 10 = w, 0 = 2*l + 2*c + 3*c - 12. Let g = -227/99 - -19/9. Is l bigger than g?
True
Suppose 0 = 3*y - 6, -2*y - 5 - 9 = 3*a. Let k be (-83)/(-249) - (-8)/a. Let v be (-2)/(-3)*(-3)/(-65). Which is bigger: k or v?
v
Let g(h) = h**2 - 17*h + 6. Let s be g(14). Let t = s - -75. Suppose -l - j = -4*l + 120, -3*l - 2*j = -129. Which is bigger: l or t?
l
Let t be 24/44 - 637/(-143). Suppose 5*l - 6 = 2*i, t*i + 3 = l + 4*i. Which is bigger: l or 6/175?
6/175
Suppose 182*s + 32 = 190*s. Suppose s*g - 9 = u + 1, -8 = -2*g + 2*u. Which is bigger: -1 or g?
g
Let t = 24303 + -24284. Is 165 < t?
False
Let k(t) = -2*t**3 - 7*t**2 + 2*t + 2. Let u be k(5). Let m = 1405/48 + -106177/240. Let j = m - u. Which is bigger: j or 0.5?
0.5
Suppose 11*b = 6*b + 235. Let g = -18 + b. Suppose -g = 5*q + 26. Which is smaller: -12 or q?
-12
Let m = -3518 - -3151. Do -1100/3 and m have the same value?
False
Let y(o) = -11*o + 39. Let c be y(4). Let g be (-128)/(-192) - c/6*1. Is -1.5 < g?
True
Let z(m) = -m**2 - 8*m + 12. Let t be z(-6). Let x be ((-27)/18)/(1 - 23/t). Let u = -36 - x. Is -4/25 >= u?
False
Let y be ((-6)/9)/(54/74682). Is -921 greater than or equal to y?
True
Suppose 12*b - 555 + 15 = 0. Suppose 9*f - 108 = b*f. Does f = -41?
False
Let f = -3002 - -33072/11. Is f <= 6?
True
Let a(o) = 3*o - 32. Let n be a(11). Let z be 5/(-10) - n/18. Let g be 3/(-6)*(0 - 0). Is z > g?
False
Let x be (6*2/(-1))/((-1)/18). Let w = x + -125. Are w and 89 unequal?
True
Let w be (6 - -20) + -19 - (2 - -481)*1. Which is smaller: -477 or w?
-477
Let i = -4 + 1. Let b = -1682.141 + 1682.1. Is b <= i?
False
Let f be (-672)/196*(324/(-74) - 3). Is f not equal to 24?
True
Suppose 5*l = -9*l + 64 - 1716. Which is greater: -52 or l?
-52
Let r be (-3)/(2625/2180) + (-252)/(-441). Let u be (2/(-3))/(2/3). Is u != r?
True
Suppose -19*d + 78 - 382 = 0. Let o(h) = -5*h - 71. Let l be o(d). Which is smaller: -4 or l?
-4
Let r be (-13)/(-52)*-226*2. Which is smaller: -2/5 or r?
r
Let i = -0.01818 + -2.98182. Which is smaller: -4 or i?
-4
Let a be 6 + (-42680)/(-90) - 2/9. Let r = -62684801/40 + 1567600. Let p = r - a. Which is smaller: p or -1?
-1
Let z(r) be the first derivative of -43*r**3/3 + 5*r**2/2 + 4*r - 1. Let o be ((-9)/4 + 2)/(73/292). Let i be z(o). Is i > -44?
False
Let c be -4 - (3496/(-18) - -2). Let o = c - 188. Let l(g) = -g**2 - g + 16. Let k be l(-6). Is k greater than or equal to o?
False
Let v be (-3 + -1 - (26 - 30))/2. Let n be (24/(-420))/(84/10). Which is smaller: v or n?
n
Let y be (-4)/10 - 1584/15. Let w = 130.27 - 130.17. Which is smaller: y or w?
y
