/7*(-2)/(-4). Let x = 4 + -97. Which is smaller: x or n?
n
Let f = -6237 - 1556. Which is greater: f or -7794?
f
Let l be (-72)/(80/(-10)) - (-1 + 3). Let n be (20/(-40))/(l/(-2)). Which is smaller: -1/37 or n?
-1/37
Let v(a) = 55*a**2 + 3*a. Let c be v(-1). Let n = c + -47. Suppose -80 = -n*b + 10*b. Is b at least -16?
True
Let c(q) = -11 + 2 - 5 + q. Let d be c(6). Let o = 1.3 - 1.2. Which is greater: d or o?
o
Let v = 1772 + -2071. Do v and 0 have different values?
True
Let c be ((0/(-5))/1)/(-2) - -3. Suppose c*z + 244 + 46 = 5*o, -2*z - 160 = 5*o. Which is greater: -1 or z?
-1
Let z = 1425.59 + -1364. Let b = z + -61. Which is smaller: -1 or b?
-1
Let l(f) = -f**3 - 57*f**2 + 25*f + 321. Let q be l(-57). Which is smaller: q or -5517/5?
q
Let u = -9316 - -7226. Which is bigger: u or -2093?
u
Let q = 5952.1 - 5952. Is q at least as big as -2217?
True
Let n = 1115 - 1115.02. Which is bigger: 7 or n?
7
Let z = 776/2667 - 2/381. Let i = 67.973 - 68. Let b = 25.027 + i. Which is smaller: b or z?
z
Suppose 0 = 18*u - 146 + 362. Let q = 30 + -27. Suppose 0 = 3*a - 4*c + q, 5*a = a - 2*c - 26. Is a greater than or equal to u?
True
Suppose -2*r - 2 = -3*r. Let t be (-15)/2*(-16)/20. Suppose t*q - r*q = -92. Is q at least as big as -23?
True
Let n be ((-793)/(-52) + -15)*(-4)/23. Is n >= -0.092?
True
Let q(l) = -l**3 + 8*l**2 + l - 27. Let o be q(8). Let z(a) = a + 20. Let w be z(o). Is w > -1/54?
True
Suppose -5*s = 5*a + 45705, -4822*a + 27443 = -4825*a + s. Is -9145 at most as big as a?
False
Let g = 155 - 156. Let q be (1 + g)/(9 - 13). Is 4 not equal to q?
True
Let j be 52/6 - (-8)/(-12). Let i be (-1 - -2)*(7 - j). Is -1/61 <= i?
False
Let m(p) = -3*p - 19. Let b be m(-4). Let t = -5/38 + -23/114. Which is greater: b or t?
t
Let m = -14951 + 15096. Which is greater: 141 or m?
m
Suppose 6*g - 4 = 10*g. Suppose -5*i - 15 = 0, 10*b - 9*b = -5*i + 76. Is b > g?
True
Let n(z) = -3*z + 179. Let j be n(29). Let p = j + -101. Which is smaller: -15 or p?
-15
Let n = 808 + -155941/193. Suppose -4*y + 64 = -p + 100, -5*p - 36 = 4*y. Is n greater than p?
True
Suppose -3*h - 2326 + 318 = 4*m, -5*h - 1018 = 2*m. Let b = 472 + m. Let o be 338/(-12) - (-6)/9. Which is bigger: b or o?
b
Suppose 8*q = 3*q. Suppose -3*f - 2*j + 11 = q, f - 4*j = -4*f - 11. Let y = 184858/31 + -5963. Is f > y?
True
Let w(k) = -192*k + 1406. Let y be w(6). Which is bigger: 2793/11 or y?
y
Let c(h) = -5*h - 18. Let j(s) = 4*s + 19. Let p(n) = -3*c(n) - 4*j(n). Let d be p(-16). Let l be (2/d)/((-8)/(-144)). Is -7 at least as big as l?
False
Let k = -6.196 - -6.456. Which is bigger: 30 or k?
30
Suppose 3*r - 3 = -3*a - 0*a, 4*r = 3*a + 18. Suppose r*x + 0 = 24. Let k = 195.6 - 203.6. Is x at least as big as k?
True
Let r = -2816 - -2783. Is -61 bigger than r?
False
Let c = 15136 - 15135.2967. Is c less than 1/3?
False
Suppose -246 = 803*i + 557. Let a = 94.978 - -0.022. Is a > i?
True
Let q = -59 - -54.8. Let r = q - 37.8. Is r at most as big as -1?
True
Suppose -164 - 1181 = -5*d. Let t = d + -236. Is t at most 26?
False
Let a(i) = 125*i - 1124. Let f be a(9). Which is smaller: f or 50/41?
f
Let j be (910/52)/((-6)/(-60)). Is 170 at most as big as j?
True
Let b = 1832 - 2019. Which is smaller: b or -1491/8?
b
Let m be 4*(-1 + (-3)/(-6)). Let x = -666.8 + 642.8. Is x less than m?
True
Let d = -7265 - -7264.9535. Is 5 > d?
True
Let m = -78925 - -6708627/85. Let b(n) = 3*n**2 - 13*n + 5. Let t(g) = 2*g**2 - 7*g + 3. Let q(x) = 3*b(x) - 5*t(x). Let r be q(-4). Which is greater: m or r?
m
Let b(t) = -67*t**2 - 27*t - 324. Let i be b(-10). Which is smaller: i or -6753?
i
Let x(t) = 2*t**2 - 12*t + 36. Suppose 3*j - 4*c = 42, 4*j - 3*c = c + 52. Let h be x(j). Are 114 and h non-equal?
True
Let o = -1095 + 1096.23. Are 18 and o equal?
False
Let t(k) = -4*k + 11*k + 11*k - k**2 + 29 - 4*k. Let p be t(16). Let d be 0 + (28/(-4) - p). Which is smaller: 0 or d?
d
Suppose 0 = 4*n - 4, 5*o + 3*n + 157 = 385. Suppose -7*x + o - 10 = 0. Suppose -3*q = -b + 14, -3*b = -x*q + 1 - 35. Are 8 and b unequal?
False
Suppose 94 = 23*b + 71. Suppose -h + 0*h = -3. Let u be b/(2169/(-6))*h. Which is greater: 0 or u?
0
Let n(h) = 59*h - 940. Let s be n(16). Is s greater than -57?
True
Let u(r) = r**2 + 99*r + 629. Let g be u(-7). Which is bigger: g or -169?
g
Let u be 1/(3 + (1 - 3)). Let x(p) = p**3 + 5*p**2 + 4*p + 32. Let c be x(-5). Suppose c*o = -u + 13. Is 1/10 at most as big as o?
True
Let l = -518 + 258. Let k = l + 260. Which is smaller: k or 5/97?
k
Let a = 37991323/38052 - -165/4228. Do a and 997 have different values?
True
Let t(o) = 7*o - 448. Let g be t(64). Is -14/69 at least as big as g?
False
Suppose 2*o = -2*i + 19 + 11, -15 = -3*o. Suppose -i*q + 18 = -q. Suppose 0 = 4*j - 4*a - 212, -3*a + 45 = q*j - j. Which is greater: 52 or j?
52
Let x = -238 - -156. Let i = x - -81.9. Is 6/11 equal to i?
False
Let i = -22614 + 22107. Is i less than -503?
True
Let v be 18/33*3/6. Suppose 38 - 42 = 2*d. Let f be (-1 - d)/(0 + (-2)/(-2)). Is v not equal to f?
True
Suppose 4*p = 4*w - 8, -2*w = -3*p - 3 + 2. Let h = 108 + -108.87. Is p <= h?
False
Let z(d) = d**3 - 7*d**2 - d + 10. Let v be z(7). Let b(j) = -j**v - 11*j - 2*j + 2*j**3 + 2*j**2 - 6*j**2 + 3. Let y be b(6). Which is smaller: y or -20/7?
y
Let d = 1.27 + -1.6. Let p = 18.9 - 19.63. Let s = d - p. Is 18 greater than or equal to s?
True
Let y = -37373 + 186866/5. Is y >= -4032?
True
Let h = 4 - 11. Let w(a) = a**3 + 6*a**2 + 7*a + 34. Let p be w(-6). Let o be (-5)/(-15)*2 + p/3. Which is smaller: o or h?
h
Let x = 3 + 0. Suppose 5*z + 20 = 5*d, x*z - 4*d + 2 = -6. Let p be z/20 - (-336)/15. Do 23 and p have the same value?
False
Let q = 8844 + -61890/7. Which is bigger: q or -10/9?
q
Let m be (-4)/(-8) + 15/(-10). Let t be ((-36)/(-8) + -4)/(m/504). Let x be t/12*(-4)/66. Which is bigger: 2 or x?
2
Let y(u) = -u**3 + 6*u**2 - 9*u + 3. Let z be y(4). Let c be (-1 + z)*(7 + (-119)/14). Let w be 172/32 + 1 + -2 - c. Which is smaller: 1 or w?
1
Suppose -4*w + 5 + 19 = 4*m, 17*m + 4*w = 89. Which is smaller: -342 or m?
-342
Let r(f) = f**2 + 4*f - 13. Suppose u + 40 = 5*w - 4*u, 0 = 4*w - 3*u - 27. Let d be r(w). Which is smaller: 7 or d?
7
Let b be -79 + 71 - (-2 - 6513). Is b != 6507?
False
Let c = -1/8166 + 144271/40830. Let d = -3461/1005 + c. Which is smaller: d or -1/3?
-1/3
Let z = -7062 - -7060. Which is smaller: z or -0.1453?
z
Let p = 1 - -4. Suppose 1 = -x - p. Let q(y) = 133*y + 525. Let j be q(-4). Is j <= x?
True
Let q = -3 - -10. Let b = q + -6.9. Which is bigger: 50 or b?
50
Suppose -g = -3*l + 12, -l + 4 = g - 0. Suppose l*r + 91 + 78 = -5*n, 3*r + 5*n = -123. Is r less than -43?
True
Let f be (-3)/15 + (-644)/(-8820). Is -0.08 greater than f?
True
Suppose 0 = 10*g - 34*g + 120. Suppose 4*p + 4 = 6*p, 3*t = -4*p + g. Is -12/25 <= t?
False
Suppose 0 = -30*r + 1727 - 16697. Which is bigger: r or -498?
-498
Let a = -5517 + 5311. Which is smaller: a or -196?
a
Suppose -88 = -c - 4*i + 112, 2*c = -5*i + 397. Let a = -0.8396 - 0.1604. Which is bigger: c or a?
c
Let r = 2862 + -2269. Does -3 = r?
False
Let y = 29/1265 + 141549/226435. Which is greater: 2 or y?
2
Suppose 46*a - 16 = 2*k + 49*a, -5*k - a = 1. Is k greater than 1/1550?
True
Let h be 40/12*27/6. Suppose h*x = -36 - 9. Which is bigger: x or -1?
-1
Let s = 1919 - 1918. Which is smaller: s or 42/257?
42/257
Let n = -15553.85 + 15553. Is n bigger than 5.4?
False
Let l = -22 - 317. Let z = 447 + l. Is z < 109?
True
Let j be 3184/10 - (-10)/(-25). Let q = 311 - j. Which is bigger: 4 or q?
4
Let p be 6/(213/15*1 - (-26)/(-130)). Suppose -10 + 2 = 5*q + 3*g, 3*q = 3*g. Let o be -3 + q*(-2 + 1). Is p < o?
False
Let r(a) = a**3 + 23*a**2 - 8*a + 13. Let d be r(-23). Let j be (d - -2 - 1)*(-34)/476. Is -15 equal to j?
False
Suppose -4*d + 0 = -3*i - 3, 2*i + 5*d = 21. Suppose 0 = -b + i*x + 14, 0 = 6*x - x + 20. Is b greater than or equal to 193?
False
Let u be 6 - -5*((-90)/25 + 4). Let s be u/20*(2636/(-877) + 3). Which is smaller: s or -1?
-1
Suppose -45*o + 5 = 2*n - 46*o, -1 = n + 3*o. Which is bigger: -16/5 or n?
n
Let c(g) = -2*g**3 + 7*g**2 + 3*g**3 + 6 + g + 0*g**3. Let u be c(-7). Let t = -65/33 + 2297/1155. Which is smaller: u or t?
u
Let i = 815331/72587 + -64/2503. Which