 is smaller: -96/11 or x?
-96/11
Suppose -33724 + 2902 = -63*i + 18066. Which is smaller: i or 777?
i
Let a(m) = 91*m + 454. Let o be a(-3). Are o and 187 nonequal?
True
Let n(i) = i**3 - 2*i**2 - 6*i + 10. Let k be n(4). Suppose 0 = -5*f - k + 3. Let y = 26 - 30. Which is smaller: f or y?
y
Let v = 21440 - 58424001/2725. Which is bigger: v or 0?
0
Suppose -2*v + 147 = 2*r - 5*v, 5*v = -2*r + 123. Suppose 26*i + r = 3*i. Which is bigger: -2/21 or i?
-2/21
Let w = 31.4 - 39.04. Let o = 61.74 + w. Let x = 54 - o. Which is bigger: 4 or x?
4
Let i = 2/1867 - 78548/125089. Do -2 and i have different values?
True
Let r = -33 - -260. Let b = 140 - r. Is -85 not equal to b?
True
Let x = 6137 - 6162. Let r = -298/5 - -60. Is x bigger than r?
False
Let d = -2.5166 - -1.5166. Which is smaller: d or -42/151?
d
Let k(r) = -r - 36. Suppose 4*t + 4 = -2*s + 12, 5*t + 67 = 3*s. Let c be k(s). Are -48 and c equal?
False
Suppose 0 = -7*x - 5*x - 360. Let b be x*(-5)/(-10)*1. Let v be (-9)/b - 126/10. Which is bigger: v or -7?
-7
Let y(o) = 2*o**2 + 11*o + 13. Let g be y(-6). Let m = -18 + g. Let r = 11874/19 + -625. Which is smaller: r or m?
r
Let v be 4/((-20)/(-25)) + (-3510)/700. Which is bigger: v or -49?
v
Let n be -4 + 20/(-15)*-15. Let d = n + -10. Let x(m) = -m + 4. Let k be x(d). Which is greater: -4 or k?
k
Let j = 316 + -311. Let h be ((-4)/j)/(((-68)/(-80))/(-17)). Which is bigger: 15 or h?
h
Suppose -1066 = -26*f + 234. Suppose -36 + f = -2*o. Is o at most 42?
True
Suppose 0 = -5*c - 5*u - 220, -5*c + 7*c = 5*u - 53. Let f = 53 - 91. Is c equal to f?
False
Let d(t) = 23*t - 137. Let q be d(6). Let v be 10/2575*(-573)/(-9). Let l = -4/15 + v. Which is smaller: l or q?
l
Let f(c) = c**2 + 20*c + 31. Let r be f(-22). Let p be (-25)/((20/(-12))/(-5)). Let g = r + p. Are 1/18 and g equal?
False
Suppose 2*x = -5*z + 8 + 9, -z = -4*x + 1. Let i = x + 5. Suppose i*n - 2*n = 0. Is n greater than -3?
True
Let v(p) = -p**2 + 17*p - 38. Let a be v(14). Suppose 2*i + 3*s - 4 = -s, a*s - 4 = 4*i. Is i greater than or equal to -3/550?
True
Let r = 6 + -3. Let s = 5 - r. Suppose -72*t + z = -77*t - 44, 0 = -2*t + 4*z. Which is smaller: s or t?
t
Let w = 116 - 61. Suppose 8*k - 57 = w. Let s = 29/2 - k. Which is smaller: s or 0?
0
Let v be 0 - 3/(-9) - 257/(-3). Suppose -3*o - 4*i - v = 6, -5*o + i - 138 = 0. Is o greater than -133/5?
False
Suppose 27 = 2*p + 11. Let x(f) = -f**2 + 2*f + 47. Let l be x(p). Is -3/55 != l?
True
Let f = -62914/3 - -20699. Is -273 equal to f?
False
Let k = -7288 - -7289. Which is bigger: -9/784 or k?
k
Suppose -3*r + 5 = 2*s - 56, 0 = 5*s - r - 144. Let l(t) = -4*t + 10. Suppose 2*w - 5 = 3*w. Let k be l(w). Is s at most k?
True
Let w = 17329177/46326 + -5237/14. Which is smaller: 0 or w?
w
Suppose 0 = -3*f - 4*s + 68, s = -83*f + 86*f - 58. Which is bigger: -12/11 or f?
f
Let t be (-384)/(-27) + 8/(-36). Suppose 21 = t*s - 13*s. Suppose -8*j + s*j + 572 = 0. Which is smaller: -45 or j?
-45
Suppose 0 = 248*d - 242*d - 450. Suppose -29*c + d = 17. Which is greater: 58/21 or c?
58/21
Let r be ((-2)/(1/(6/(-30))))/(5/1225). Which is smaller: r or 0.06?
0.06
Let l(f) = -f**2 - 16*f + 10. Let r be l(-12). Suppose 7*q = -58 + 156. Suppose r = u + q. Which is smaller: 43 or u?
43
Let q = -2816762/9 + 312490. Let c = q + 482. Let l = 1564/11 - 142. Does l = c?
False
Let p be 14/12 - 930/1116 - (-1771)/(-5385). Which is greater: p or 0?
p
Let q be (42/84)/(2/(-24)). Let l(t) = -3*t**2 + 12*t + 21. Let m be l(q). Which is smaller: m or -160?
-160
Let n = -1047 - -1049. Let a(k) = 2*k**2 + 5*k + 1. Let d(w) = w**2 + 4*w + 1. Let o(f) = -3*a(f) + 4*d(f). Let s be o(n). Which is smaller: -3 or s?
s
Suppose 70*y - 75*y - 20 = 0, -16 = -4*i + 4*y. Suppose -n - 2*d = 21, 5*n + 53 = -4*d - 58. Let m = n - -117/5. Which is bigger: i or m?
m
Let l = 1/27314 + -27317/81942. Is l at least as big as 2859?
False
Let c(k) = -3*k - 18. Let z be c(-6). Let b be 2/(-226)*2/2. Let p = 557/904 - b. Which is smaller: p or z?
z
Let g = -37 + 52. Suppose 3*m + 154 = 202. Let w = m - g. Which is smaller: w or 1/15?
1/15
Let j = -1.2602 + 1.0602. Which is greater: j or -1005?
j
Suppose 10*j - 13*j = 0. Suppose j*m + m - 14 = 4*i, 5*i = m - 16. Suppose -3*w - 5*o - 19 = 0, -w + m*w - 4*o + 44 = 0. Which is smaller: w or -1?
w
Suppose 0 = -4*o + h - 48 + 11, -h - 3 = 0. Let j be 120/36*(12/(-5))/1. Let b = o - j. Are -1/2 and b non-equal?
True
Let t be -11 + 48/(5 + 7) + 1 + 205. Is t greater than or equal to 2181/11?
True
Suppose 872 = -30*a + 3602. Let u be a/77 - 2/11. Which is greater: 2/723 or u?
u
Suppose 14*j = 5*k + 9*j - 11205, -3*k + 5*j = -6721. Which is bigger: k or 2240?
k
Let s(c) = 5*c - 7. Let t be s(5). Suppose t = z + 5*z. Suppose -2*h + 70 = z*h. Is 12 < h?
True
Let d(n) = -84*n + 15. Let w be d(-4). Let v be ((-27)/w)/(18/2). Is v at least 0?
False
Let j be (16 + (-3 - 16))/3. Let u = 1292/427245 - -1/1565. Which is greater: u or j?
u
Suppose -4*s + 8 = -4*l, s + 34 = -12*l + 7*l. Let n(d) = -d**2 - 24*d + 4. Let u be n(l). Do 113 and u have different values?
True
Let q be (3 - 6) + 25 + -6. Suppose -10*l + 36 = q. Which is bigger: l or 2/7?
l
Suppose -l + a + 5 - 7 = 0, 2*l = 5*a + 2. Let f be (-5 + 3)*(-2)/l. Is 5/12 greater than f?
True
Let m be 1440/(-420)*28/(-6). Suppose 22*p = 24*p - m. Which is smaller: 46 or p?
p
Let s = -1780.98 - -1735. Let v = -46 - s. Let y = 0.42 + v. Which is bigger: -3 or y?
y
Let r = 163 + -201. Which is bigger: r or -0.36?
-0.36
Let y = -52 + 56. Suppose 2*c = y*d + 20, c = -4*d + 4*c - 18. Let b be (0 - 0)*d/(-12). Which is smaller: 2/5 or b?
b
Let s be ((-70)/(-42))/(1*(-1)/(-3)). Suppose s*x - 2*g + 27 = 2*x, 5*x + g = -45. Let q(p) = -p**2 - 11*p - 18. Let l be q(x). Is l at least 1/4?
False
Let c = -131 + 177. Let k = c - 32. Which is smaller: k or 12?
12
Let q be 83/(-249) + (-6520342)/(-2190). Let v = -2977 + q. Which is smaller: 0 or v?
v
Suppose 20*g + 26276 = 26296. Is g at most -2/639?
False
Let l = 99194.1 - 99194. Let w(m) = 24*m - 1. Let t be w(-2). Let c be t/195 + 4/20. Which is smaller: l or c?
c
Let w = -6807 + 6807. Which is greater: w or -6/629?
w
Let k = -93 + -496. Let q be (133/k)/(61/(-22)). Let r = q - 3/61. Is 0 not equal to r?
True
Let u be (4 - (-80709)/(-18621)) + -6 + (-152)/(-24). Which is smaller: u or -1?
-1
Suppose -10*m + 21 + 9 = 0. Suppose w - m - 2 = p, -2*w = -4*p - 18. Which is smaller: 2/293 or w?
2/293
Let j = -3 - -7/3. Let f be (-2)/(-1*(-4)/10). Let s(u) = -u**3 - 4*u**2 + 4*u - 6. Let v be s(f). Which is smaller: v or j?
v
Let t be (-4 + (-1)/(36/(-128)))*(-69234)/88. Which is smaller: t or 351?
t
Let x(o) = 2*o - 8. Let s be ((-20)/6)/((-4)/6). Suppose -f + 6 = q, 4 - 9 = -s*q. Let w be x(f). Is w bigger than 12/17?
True
Suppose 4*r - 4*k = 40, k + 28 = -0*r + 3*r. Let n = -10 + r. Let a be 7/(308/(-9)) - (-4)/22. Is a at most as big as n?
False
Let v be (-3)/(-918266)*10540569/36. Let g = -6/12409 + v. Let x = g - 7/8. Is x greater than 1?
False
Let c = -0.0506 - 0.0494. Which is bigger: c or -2/4559?
-2/4559
Suppose 251*o - 258*o + 21 = 0. Suppose s - o*y = 21, -3*s + s - 3*y = -51. Is 24 at least as big as s?
True
Let p = 11 - -90. Let i = -102.39 + p. Which is smaller: 0 or i?
i
Let i = -392 + 851. Let z = 478 - i. Is 22 != z?
True
Let d = -15245 + 15221. Which is greater: d or 3.32?
3.32
Suppose 14 = 4*q - 6. Let o(v) = -7*v**2 - 27*v - 2. Let l(z) = 6*z**2 + 28*z + 4. Let n(s) = 4*l(s) + 3*o(s). Let b be n(-10). Is q at most as big as b?
False
Let w be 1/(-2) + (-4)/(-8). Let t be 1 + -1 + w - 3. Is -13/4 <= t?
True
Let i be 3*(-696)/4470 - 4/(-10). Let h be (-2)/(126/(-49)) - 10/(-45). Is h less than or equal to i?
False
Let i be 1/4 + 9/(-4). Let z be 1105/(-552) - 2 - -4. Let t = -6067/2760 + z. Which is greater: i or t?
i
Let z(s) = 5*s**2 - 41*s - 356. Let b be z(-8). Which is smaller: b or 295?
b
Let s = -3967 + 1915. Is 1 at least s?
True
Suppose -228 = 10*g - 16*g. Let l = 224 - g. Is 187 not equal to l?
True
Let f = 20 - -1. Let d = 4390 - 4387.437. Let i = d + 0.437. Is f > i?
True
Let q be ((-10)/((-520)/(-273)))/(12 - 3). Is q equal to -2?
False
Suppose -r = 3*u - 1346, 5*r + 5 + 15 = 0. Does u = 450?
True
Let d(q) = 19*q**2 + 25*q. Let l be d(-10)