/(-3620). Which is bigger: 0 or c?
c
Suppose 4*n - 847 - 2665 = 0. Suppose 0 = 5*l - 873 + n. Is l at least as big as 4/41?
False
Suppose -5*m + 9*m + 23 = w, -5*m = -3*w + 27. Which is greater: w or -17/334?
-17/334
Let n be 6 + -3 - 7/((-28)/(-1796)). Let d be (-1)/2 - n*(-9)/36. Is -112 greater than or equal to d?
True
Let l be (-15)/(-6)*2*4/(-4). Let k be l - 4/204*-267. Which is smaller: -1 or k?
-1
Let x = -4096 - -4060. Are -31 and x equal?
False
Let v be 12885/(-10)*(8/3 - -2). Let t = 7414027/1233 + v. Which is greater: -1 or t?
t
Let g = -33 + 247. Let a be (2/9)/1 + 5377398/24921. Which is smaller: g or a?
g
Suppose -6*i - 8 = -7*i. Suppose -30 = v - i. Suppose 3*a - 2*g = -64, -a + 3*g - 14 = 5. Do a and v have the same value?
True
Let y = 1077 + -987. Let a = -95 + y. Let w be ((-39)/21 - -2)/(-1). Is w bigger than a?
True
Let t = 108 + -263. Let h = t - -267. Which is bigger: 111 or h?
h
Let k = -14 - -9. Let z(h) = 5*h + 53. Let y be z(4). Suppose 6*b - 7 = -y. Which is bigger: b or k?
k
Let u(y) = -y**3 + 11*y**2 + 22*y - 119. Let l be u(12). Is -3/368 > l?
False
Let z be (-20)/(-8)*8/(-10) - -1072. Suppose 9*o = -o + z. Suppose 5*f - 15 = 0, 5*d - 2*f + o = 16. Which is greater: -16 or d?
-16
Suppose 5 + 2 = -s - 3*m, 2*s + 6 = -4*m. Suppose -4*b + 0*w - 35 = -s*w, -3*b - 5*w = 0. Let v be (1/66)/(b/4). Which is greater: -1 or v?
v
Suppose -4*q = -2*o - o + 8, 0 = -5*o - 5*q - 10. Suppose -32*x - 4 = -28*x. Let z be (-2 - (-4 + x))/(-31 + -13). Which is smaller: z or o?
z
Let u = 649 + -639. Let p be (-8)/u - (-106253)/(-215). Do p and -494 have different values?
True
Suppose 141*g = 382*g + 46272. Which is smaller: -168 or g?
g
Let k be (2*-5)/((-2 - 14) + 14). Which is bigger: k or 24?
24
Let h = -5503 - -5372.95. Let t = h - 1.95. Is -1/3 equal to t?
False
Let q = -193.655 - -194. Let x = q - 0.145. Let r be (2/69)/(2/(-6)). Is x <= r?
False
Let g = -1103 - -678. Let c be 2/(-8) + (-32289)/76. Let o = g - c. Is o < -4?
False
Let s = -0.76336 - 83.33864. Let c = s + 0.102. Let i = c - -86. Which is smaller: i or -2/7?
-2/7
Let d be ((-1)/3)/((-6)/72). Suppose -4*m + 0*t = 4*t - 140, -d*m + 3*t = -168. Let a = 274/7 - m. Which is smaller: 0 or a?
0
Let t = 132.08 - 88.08. Let p = 0 - 0.2. Which is bigger: t or p?
t
Let n = -3365 - -3493. Is 117 at most as big as n?
True
Let k(j) = -j**3 - j**2 - j + 9. Let p be k(0). Suppose 0 = 2*s + p - 3, 5*a - s = 118. Let w = -0.2691 + -0.7309. Which is bigger: a or w?
a
Let l = 0.025 - 0.316. Let o = l - -0.091. Which is smaller: -29 or o?
-29
Suppose 6 = -5*c + 16. Suppose -5*s - c*i = -172, 2*s - 6*s = -3*i - 133. Let u = -29 + s. Which is bigger: u or 1?
u
Let y(f) = 2*f + 33. Let c be y(0). Let h be c/22*(-5076)/26. Let k = h + 293. Which is greater: 1 or k?
1
Suppose -1543*t + 1447*t - 31392 = 0. Is t != -326?
True
Let x(y) = -3*y**3 - 2*y**2 + 20*y - 52. Let h be x(3). Let d = -119 - -29. Which is greater: d or h?
d
Let v(n) = -3*n**2 + 118*n + 335. Let l be v(42). Is 158 at most as big as l?
False
Let g be (1/(4/(-6)))/(3/4). Let p(z) = -6*z - 17. Let k(s) = -13*s - 33. Let u(l) = g*k(l) + 5*p(l). Let a be u(-5). Is a greater than 30/13?
False
Let d be 33/6 - (10/(-4) + 3). Let a be -1*(-8)/(d - 1) + 147. Is 149 <= a?
True
Suppose 8*z = 3*z + 15. Suppose -5*h = g + z*g - 32, g = -3*h + 15. Suppose 3*d = 3*l + 3, d = -h*l - 2 + 8. Are l and -1/13 non-equal?
True
Suppose -3*h + 3*v - 138 = 0, -2*v - 2*v + 49 = -h. Let a = -44 - h. Does 2 = a?
False
Let k be (-12 - 4)/((-12)/10). Let x = 36.9 + -35.9. Which is smaller: x or k?
x
Let f be 1529/(-154) + 10 + 1706/28. Is 53 > f?
False
Let s = -38 - -44. Let k be (-92)/(-22) + s/(-33). Let a be (-3)/4 - 7/k. Which is bigger: a or -1/3?
-1/3
Let c = -0.47 + -0.03. Let l = 34 - 34.7. Let h = l - c. Which is bigger: h or 11?
11
Let w = -2805 + 2761. Is w <= -25?
True
Let w = -1713.6 - -1714.6. Is -1/7861 smaller than w?
True
Suppose 294 = 7*a + 42. Suppose 0 = k + 3*p - 0*p - 18, 2*p - a = -2*k. Let j(f) = -f + 16. Let x be j(k). Which is greater: -5 or x?
x
Let a = -22057 - -22458. Is a less than 398?
False
Let g be (168/35)/6*10. Let v be (3 + (-2372)/788)/(7 - g). Which is smaller: -1 or v?
-1
Suppose 205 = 319*o - 114. Does o = -2/2141?
False
Let m be -7 - -6 - -4*3/(-6). Let u be 228/56 - m/2. Let y(v) = -v**2 + 7*v. Let f be y(6). Which is smaller: u or f?
u
Let y(v) = v**3 + 3*v**2 - 2*v + 5. Let m be y(-3). Let w(t) = t**2 - 8*t - 9. Let o be w(m). Let a be (o/(-20))/((-3)/2)*5. Is 3 less than a?
True
Let p be 3 + 1376/(-136) - -7 - (-57)/51. Which is bigger: 308 or p?
308
Let b = -218.54 - -216. Let z = -147.46 + b. Which is smaller: z or -2/9?
z
Let a be 5/15 + (-55)/3. Let m = 225 + -201. Let w be ((-54)/19)/(a/m) + -4. Which is bigger: -1 or w?
w
Let i = 177 - 168. Suppose 0 = 6*d + 69 + i. Is -6 < d?
False
Suppose 0 = -3*f - 0*f - 2*b + 359, -2*b - 246 = -2*f. Let n = f + -185. Let k be 168/n - 6/16. Which is smaller: -6 or k?
-6
Let d(h) = -h**3 + 26*h**2 - 120*h + 302. Let o be d(21). Let u = 436 - 897/2. Is u less than o?
False
Let j be ((-644)/736)/(((-1)/(-2046))/(6/(-9))). Which is smaller: 1195 or j?
j
Let x = -484 - -1414. Is x at least 1859/2?
True
Suppose -8*o + 247 + 473 = 0. Suppose 0 = 5*x + 25 - o. Which is smaller: x or 10?
10
Let d = 436 + -51010/117. Suppose -46*z - 4520 = -4474. Which is bigger: z or d?
d
Suppose q = 3*h - 208, 307*h - 143 = 305*h + 5*q. Which is greater: 64 or h?
h
Suppose 2 + 7 = -3*a. Let q = 627286476/88205 + -419697/59. Let u = q - -6/299. Which is smaller: u or a?
a
Suppose 0 = 15*z - 12*z - 465. Let m = -609/4 + z. Which is bigger: m or 2?
m
Suppose 0 = 76*p - 72*p - 16. Suppose 0 = p*v - 15*v - 11. Is v less than -1/218?
True
Let i = -129 + 90. Let y(w) = -9*w**2 + 65*w - 25. Let g(o) = 14*o**2 - 97*o + 36. Let t(r) = 5*g(r) + 8*y(r). Let d be t(18). Which is smaller: i or d?
i
Suppose 0 = -9*m - 52*m - 19*m - 15680. Is -1366/7 <= m?
False
Let q(w) = 12*w + 15. Let i be q(-1). Let d be (-5 - (-1182)/i)*1. Which is greater: d or 388?
d
Let z = 10.034 - 10. Let f = z + 4.866. Let u = f + -5. Which is smaller: 7 or u?
u
Let m = -10407 + 9471. Is -935 equal to m?
False
Let s = -648633 + 695983287/1073. Which is bigger: s or -2/5?
s
Let m(h) = -1 + 11 + 13 - 2*h - 1. Let y be m(-7). Which is smaller: 33 or y?
33
Let w = 0 + 0.1. Let j be 23/(-46)*(-1 + 19). Let u be ((-8)/3)/(j/54). Which is smaller: w or u?
w
Let v(i) = -5*i**3 - 3*i**2 + 18*i - 40. Let r be v(2). Let m(a) = a**2 - a - 54. Let l be m(0). Is r <= l?
True
Suppose -6*n = -2*n - 16832. Is n < 4210?
True
Let r = -2880.6 - -2804. Is 2 > r?
True
Suppose l + 4*u - 212 = 0, -3*l + 21*u + 684 = 17*u. Which is smaller: 237 or l?
l
Let w = 13881 - 13882. Let b be 338/(-166) - 14/(-7). Which is smaller: w or b?
w
Let s = 237 + -1899/8. Let o = 127/6 + -1663/78. Which is bigger: o or s?
o
Let x = -8.45 + 9.45. Which is bigger: 99 or x?
99
Let t = -51/2 + 25. Suppose 29*c - 2*a = 33*c - 112, 32 = 4*a. Is t at least c?
False
Let v = 4.4 - 5.4. Let y be 10/70 + 232/(-154). Let q = 61/77 + y. Is v >= q?
False
Let t be (1 - 1)/((-7)/(91/(-78))). Suppose -25 = -2*i - 3*i. Suppose -3*f - 5*z - 32 = 0, t*f + 5*f = -i*z - 50. Which is smaller: f or 2/5?
f
Let g = -13797 + 13796. Let h be (-357)/(-30) - (-4)/10. Let u = h - 54/5. Which is greater: g or u?
u
Suppose -14 = -3*p - 8. Suppose 2*h - w = w - p, 5*h + 9 = w. Which is smaller: h or -0.12?
h
Let x = 420.84 - 428.84. Which is greater: x or 29/39?
29/39
Let h(b) = -8*b**3 + 214*b**2 + 26*b + 1. Let o be h(27). Which is greater: -747 or o?
-747
Let n(l) = l + 3. Let b(d) = 4*d - 85. Let c(j) = -b(j) - 3*n(j). Let o be c(14). Which is smaller: o or -25?
-25
Let d = 74 - 98. Let y be (d/36)/(2/(-9)). Suppose -6*a + y*a - 4*r + 27 = 0, -4*r + 12 = 0. Which is smaller: 4 or a?
4
Suppose -3892 = -m - 2*x, -4*x = -5*m + 4*m + 3910. Is m less than or equal to 3898?
True
Let z = 109 - 1208/11. Let u be -2 - (5 + (-1 - 2)). Let t be (u/(-16)*0)/1. Is z greater than t?
False
Let n be (-129016)/96 + 4 + (188/48 - 4). Which is bigger: n or -1339?
-1339
Suppose 0 = -5*h + 10, -5*b - h + 41 = -3*h. Suppose -u - 3*i + 5 - 14 = 0, i + 2 = 0. Let m be (25/(-15))/(u/b). Are 5 and m equal?
True
Let w be