?
m
Suppose -25*u = -28*u + 21. Let t(i) = 14 - 3*i - u*i - 7*i. Let h be t(-2). Is h less than 48?
False
Let c(k) = -19*k**2 - 416*k + 43. Let h be c(-22). Which is greater: h or 20/163?
20/163
Let t = 12831 + -1526969/119. Let o = t - -25598/37723. Which is greater: o or 1?
1
Suppose 0 = r + 1 - 2, q + 2*r - 2 = 0. Suppose 263 = 2*m - 273. Let u = m - 4552/17. Is u bigger than q?
True
Let l be 42 + -38 - (-6 - 0). Suppose 0 = 3*w + 5*r + l, -2*w = -3*r + r - 4. Which is greater: w or -8/83?
w
Let y = 5983 + -6710. Is y smaller than -728?
False
Let p = -153.975 - -11.355. Let s = -143 - p. Which is smaller: -5 or s?
-5
Let d = -191 - -323. Let q = -131 + d. Are 1/102 and q equal?
False
Let n be (-6)/(-4) + (-1200)/800. Which is greater: n or 360/299?
360/299
Suppose z - 6*u + 11*u + 1259 = 0, -2*z - 2486 = 2*u. Which is smaller: z or -1244?
-1244
Let p(d) = -d**3 + 9*d**2 + 37*d. Let r be p(-3). Which is greater: -1 or r?
-1
Let p = -7.325 + 7.425. Let h(n) = -n - 25. Suppose -5*s + 25 = 5*w, 3*w - s = 2*s - 15. Let z be h(w). Is p at most as big as z?
False
Let p be (-10)/(-15)*3 - 1 - -4. Let d = -27 + 35. Suppose 0*z = b - 4*z + 1, -d = -b - p*z. Which is smaller: 1 or b?
1
Let j = 2/4261289 + -161238653200/38351601. Let q = j - -4200. Which is bigger: q or -5?
q
Let x = -148791794/36055 - -20634/5. Which is bigger: -1 or x?
x
Let c be ((-1862)/(-399))/((-2956)/(-6)). Which is greater: c or 1?
1
Let r be (-4506)/46*11/8514. Let d = r - 1/258. Is 0 smaller than d?
False
Let r(t) = t**2 - 21*t + 184. Let a be r(12). Let j be 1*3 - (-34 + -39). Is j > a?
False
Let s be (-21)/(567/36) + (-7144)/(-3). Does s = 2380?
True
Let u = 1.017 - -0.779. Let p = u + 0.204. Which is bigger: -47 or p?
p
Let z = 187.7 - 1776.7. Which is smaller: z or -1/3?
z
Let f = -98 - -68. Let v = f - -27. Let x be 0 - (v - (-3 - -1)). Which is smaller: 1/63 or x?
1/63
Let l be ((-156)/32 + -6 + 10)/(1/(-4)). Let z = -0.1 - 0.4. Is l at most z?
False
Let h be 13/(572/(-8792)) + 2/(-11). Let n be (((-390)/h)/(-13))/(1/(-4)). Which is bigger: 0 or n?
n
Let v = 677/9 - 44077/585. Suppose 16*j - 37*j = 0. Is v bigger than j?
False
Let s be -3 - 55/(-20) - 258/(-8). Let i = 57 + -29. Suppose -i*o + 24*o = s. Are o and -11 non-equal?
True
Let v(q) = -3*q**3 + 9*q**2 + 87*q - 12. Let c be v(9). Which is smaller: c or -688?
-688
Let g = 11 - 79. Let z = -64.1 - g. Let y = 5.9 - z. Which is greater: y or -3?
y
Suppose 3*f = -0 + 9. Let u(z) = -2*z**2 + 68*z + 60. Let j(x) = 12*x**2 - 341*x - 300. Let k(p) = -2*j(p) - 11*u(p). Let h be k(-32). Which is smaller: h or f?
f
Suppose 0 = -151*s + 137956 + 20292. Is 1050 greater than s?
True
Let u = 19573.977 + -19574. Which is smaller: u or -75?
-75
Let b = 170967 - 523190/3. Which is smaller: -3431 or b?
-3431
Let w be 36/(-4) - ((-165042)/(-33003) + -14). Is 1 less than or equal to w?
False
Suppose -10 = -2*c + 2*s, -4*c - 3*s - 5 = -2*s. Suppose 3*h - 4*u - 302 = 0, -2*h + 3*h - u - 102 = c. Which is greater: 105 or h?
h
Let z(k) = -9*k**2 - 20*k - 34. Let d be z(-2). Let x be 2 + -3*10/d. Is 33/10 less than x?
False
Let v(i) = 3*i**2 + i + 1. Let t be v(-4). Let s be (t/(-18))/(5/(-4)). Suppose -14 = -s*b - 16. Is -1 greater than or equal to b?
True
Let p = 19.5 + 8.7. Let f = p + 21.8. Is 3 <= f?
True
Suppose 11*a - 10*a - 12*k - 798 = 0, 4*a + 5*k = 3351. Which is greater: 3 or a?
a
Let l = 6502 + -6502.2482. Which is smaller: l or -1/4?
-1/4
Suppose 16*o + 6900 = 21*o. Let b be o/(-40) + (-2)/4. Let z = 16 + -52. Which is smaller: b or z?
z
Let k(g) = 6*g - 57. Let w be k(8). Let q be (-9)/w + (-1845)/1835. Is q <= 1?
True
Let g = 125477 + -54080588/431. Suppose -7*z = -2*z - 5. Is g smaller than z?
True
Let m be 30/7220*(-496)/(-12). Which is smaller: 1 or m?
m
Let t = -733 - -733. Which is greater: -2.149 or t?
t
Suppose 0*j - 4*j = -28. Let p = j + -7. Suppose -3*g + 9 = p, w - 72 = -4*w - 4*g. Which is smaller: 1 or w?
1
Let y = -0.03645 - -0.01616. Let n = y - 125.29971. Let g = n + 125. Which is bigger: g or -1/4?
-1/4
Let v be (5/10*-41)/(1/(-2)). Which is bigger: 0.04 or v?
v
Let j = 21216/21209 - 124/127. Is 1 != j?
True
Let k(r) = r**3 - 6*r**2 + 5*r - 5. Let z be k(6). Let g = 1569 + -3040. Let s = -4337/3 - g. Which is bigger: z or s?
s
Suppose 0 = -5*h - 390 - 225. Let l = 121 + h. Is l at most as big as -2/13?
True
Suppose 0 = 2*n - 4*q + 5*q - 1368, 2*n = 5*q + 1380. Suppose i - n = -697. Which is smaller: -150/13 or i?
i
Let s = 1.2 - -10.2. Let p = 12.4 - s. Which is bigger: p or -7?
p
Let r be (-115)/92*(-1)/((-10)/8178). Let s = r - -1028. Which is smaller: s or 5?
5
Let j = 414 + 898. Suppose 0 = -7*i + 8*i + 4, -2*i + j = 5*y. Is y <= -0.1?
False
Let f = -2.515 + 2.465. Is 1/20 greater than f?
True
Let n(h) = h**3 - 5*h**2 + 20*h + 2. Let r(a) = 5*a**3 - 19*a**2 + 81*a + 9. Let z(x) = -9*n(x) + 2*r(x). Let u be z(-9). Which is smaller: -0.214 or u?
-0.214
Let q be -1147 + (1 - (-60)/((-144)/12)). Is q bigger than -1153?
True
Let d be ((-8)/(-6))/(-2) - 387/(-765). Let z = -254458/1785 + d. Let f = z - -142. Is -1 greater than or equal to f?
False
Suppose -54 = 97*o - 235*o + 111*o. Which is smaller: o or 94/55?
94/55
Let m = 273 + -278. Let f be 15/15*(-3 - (2 + m)). Is f at least as big as 1/94?
False
Let h = -419 - -419.1. Let w = -284 - -131. Is h smaller than w?
False
Let f(h) = -3*h. Let r be f(-1). Suppose -2*z = i - z + 16, 0 = r*i - 3*z + 42. Let w be 2/6 - (-43)/(-3). Which is greater: i or w?
w
Let z = 38.56 + -37. Let d = 2452.84 + -2454. Let h = z + d. Is 2/59 greater than or equal to h?
False
Suppose 14*w + 409 - 395 = 0. Is -3/1132 less than w?
False
Suppose -108 + 8 = 5*b. Let v be 24/(-36) - b/(-6). Let r be (-8)/v*(-3)/(-51). Are 0 and r equal?
False
Let g be (56/(-8) + 9)/(-3 + 2). Let n = 22 + -1033/47. Let z = -577/611 + n. Is z less than or equal to g?
False
Suppose 5*p = 3*n - 21, -2*p - 26 = -5*n - 10. Let f be (-27)/2*(-4 + (-46)/(-12)). Is f <= n?
False
Let o = 116/111 - 14/37. Let f = 12.4 + -12.41. Which is smaller: o or f?
f
Suppose 4*t + 2*t + 2403 = 3*t. Which is greater: -799 or t?
-799
Let u = -0.1243 - 3.8757. Let o = -14.2 - -10. Let c = o - u. Which is greater: -5 or c?
c
Suppose 28*b = -5*b - 6600. Let u = b - -208. Is 3 at most u?
True
Let d = 129 - 0. Let a = -128 + d. Is a bigger than -4?
True
Suppose -5*g - 40 = -5*r, 80 = 41*r - 36*r + 3*g. Let o be ((-24)/135)/(4/960*-3). Which is smaller: o or r?
r
Let d(z) = 2*z + 107. Let y be d(-1). Which is greater: y or 17?
y
Let o be (1 - -1057 - (-575)/(-230)) + (-2)/(-4). Which is bigger: o or 5284/5?
5284/5
Let c = -187 + 195. Suppose 4*t = -p + c*t - 368, -t = 3*p + 1039. Is p < -349?
False
Suppose 904 = -132*i + 7240. Which is bigger: 35 or i?
i
Suppose -4*l - 45 = 3*k, 5*l - l - 45 = 3*k. Let i be (-2 + 5 + -4)/(1/k). Let d be 32*(2/10)/((-4)/i). Is -24 less than or equal to d?
True
Let z = -4 - -7. Suppose 2*b - 27 = z*b. Let h = 14543 - 14572. Is h not equal to b?
True
Let j(x) = x**3 - 27*x**2 + 159*x + 44. Let a be j(18). Let b = -2453/237 + 4/237. Which is bigger: b or a?
a
Let b = 1039 - 1104. Which is smaller: -78 or b?
-78
Let q = -1/19282 - 28739819/38564. Let g = q - -745. Are g and -0.344 non-equal?
True
Let f = 60 + -59. Let j be 16/4 - f - 14/2. Let k be -2 - (j - 396/(-200)). Which is greater: 0 or k?
k
Let d be 543/(-12) + 0*(-3)/9. Let h = d - -45. Let a = -73 + 437/6. Is h bigger than a?
False
Let m = -233775.0295 + 233722. Let s = m + -0.0705. Let q = -53 - s. Are -45 and q equal?
False
Let h = -5529897 + 27543812/5. Let s = h - -21337. Let x = -203 + s. Which is greater: x or -3?
x
Let y = -501 + 501.1. Is 0.00345 > y?
False
Let p = 29134 + -28944. Which is smaller: 43 or p?
43
Let w be -1 - 3 - (28/(-21) + (-66)/18). Is 4/545 >= w?
False
Let m = 21239 + -24855. Which is smaller: m or -3614?
m
Let h = 7 - 14. Let g be 2 + h - 1/(-1). Let o = -50.8 + 51. Which is smaller: g or o?
g
Let n = -49 - -48.36. Let w = 35.46 + -36. Let p = w - n. Is -7 not equal to p?
True
Let d = 3802 + -3828. Suppose o - 4*p + 4 = 0, 10 = 3*p + 1. Let y be o/9*(-6)/(-8). Which is bigger: d or y?
y
Let r be (0 - 1)*(-6 - 1). Let j(m) = -m**3 - 12*m**2 - 20*m - 9. Let a be j(-10). Let u = -3 - a. Does r = u?
False
Let u b