 -144. Let l = n + -37. Let f be (l/(-30)*-5)/(-2 - 0). Which is greater: 1 or f?
1
Suppose 3*v - 111 = -3*f, -31*f + v + 33 = -30*f. Do f and 34 have the same value?
False
Let v be 8433/(-33) + (3 - -27*(-1)/11). Which is greater: -258 or v?
v
Suppose 4*p - 5829 = -5837. Which is bigger: -124/37 or p?
p
Let z(n) = 87*n + 120. Let a be z(10). Suppose 12*u = u + a. Which is bigger: u or 0.2?
u
Let z(d) = 3*d**3 - 80*d**2 - 35*d + 205. Let s be z(26). Which is greater: 2 or s?
2
Let o = -310 + 958. Let h = o + -920. Is h != 1?
True
Suppose -2784 = -8*n - 1192 + 5072. Which is smaller: 832 or n?
832
Suppose -3*v + 4*s = 4, 33*v - 32*v - 3*s = -8. Is v greater than -814/3?
True
Let p(h) = h**3 + 9*h**2 + 13*h - 2. Let j be p(-2). Is -9/332 > j?
False
Suppose -83 = -g - 68. Suppose -5*j - 35 = -g, -4*j - 346 = -3*v. Is v at most 108?
False
Let q = -417 + 38. Let g be -5*30/(-25) - q/(-61). Which is smaller: 1 or g?
g
Suppose 472 = 922*x - 918*x. Suppose 3*w - x = 23. Which is bigger: 43 or w?
w
Suppose 13 = 2*n - 5*y - 10, 0 = n + 5*y + 11. Let v(s) = 6*s**3 - 8*s**2 + 4*s - 5. Let i be v(n). Which is smaller: i or 268?
i
Let w be 376/(-2444)*(-26)/2. Let q = -1 - -68. Is w at least q?
False
Suppose 5*a - 4261 = -4*d + 787, -2*a + 6310 = 5*d. Let p = d - 31558/25. Which is bigger: 1 or p?
1
Let v be (-52)/3614*1/(1/2). Let j = -288 - -288. Is j at most v?
False
Let m = 22 + -12. Suppose 164 = 6*s - m*s. Let p = 50 + -90. Is p equal to s?
False
Let l = 37.9 - 38. Let s = -12.857 + 1.787. Let h = 0.07 + s. Which is greater: h or l?
l
Let u = -39 + -3. Let y = u + 47. Suppose -c = y*h - 110, h - 18 = 5*c + 30. Is 22 bigger than h?
False
Let o(k) = -k**3 + 15*k**2 - k - 6. Let z be o(15). Let s = 66 + z. Let u be (-8)/2 + s/(-9). Which is greater: u or -12?
u
Let m(x) = x + 2. Suppose -18*q - 8 = -22*q. Suppose -3*f = -15, q*h = 5*f - 30 - 19. Let r be m(h). Is -5 equal to r?
False
Let p = -430 + 1888. Which is bigger: 1456 or p?
p
Let m = -6101 + 6101. Which is greater: -4/11051 or m?
m
Let u be ((-3)/4)/((-60)/160). Let w be 2/56*24/(u + 2). Let s(z) = -2*z - 1. Let j be s(-1). Is w greater than or equal to j?
False
Suppose -g + 4*g = 2250. Let j be ((-4)/(-5))/((-25)/g). Which is greater: -25 or j?
j
Let t = -2222 + 2809. Do 0 and t have different values?
True
Suppose -227 = -2*m - 221, 0 = -4*k - 2*m - 29818. Do -7455 and k have the same value?
False
Let m = 4047149/319 - 12687. Which is bigger: m or -0.3?
m
Suppose 108*a + 205 + 127 + 424 = 0. Do -2 and a have different values?
True
Let p be 10/(-2344)*(-40)/150. Which is bigger: p or -1?
p
Let l be (-44)/(-4) + (-2 - -3)*-3. Let b be 35/(56/l) + 44. Which is smaller: b or 50?
b
Let n(o) = 214*o + 1645. Let c be n(-6). Are 341 and c nonequal?
True
Let f(n) = -n**2 + n - 1. Let a be f(0). Let z(y) = 2*y**3 + 15*y**2 + y - 16. Let i be z(-11). Let l = i + 11354/13. Which is smaller: l or a?
a
Let k = -647 + -924. Is 0.1 less than or equal to k?
False
Let c = 140.1 - 140. Which is smaller: c or -1975?
-1975
Let v be 171/(-4)*(-72152)/(-933). Which is bigger: v or -3310?
v
Let n = -2.2 - -1.2. Let x = -1 - n. Let h = -1977 - -1979. Is x at least h?
False
Let y(g) = -g + 14. Let v be y(-6). Suppose -23*b - 432 = -v*b. Let z be ((-2)/(-4))/((-6)/b). Which is smaller: z or 14?
z
Let r be ((-208)/(-14) + 0)/(119 - (-141525)/(-1190)). Suppose -4*z + 825 = -o - 2*o, -5*z = 3*o - 1038. Which is smaller: z or r?
z
Let b be (-453)/13 - (-24)/117*9/(-12). Which is greater: b or -8?
-8
Let n = 124.35 + 2.65. Let d = n + -44. Let s = -82.9 + d. Which is smaller: s or -35?
-35
Let z(q) = q**2 - 16*q - 43. Let k(o) = -o**2 + 2*o + 126. Let h be k(0). Suppose 0 = -3*f - 4*f + h. Let j be z(f). Which is greater: j or -9?
j
Let i = 222/103 - 38527/19261. Is i at least as big as -1?
True
Let x(k) = 4*k**2 + 10*k + 14. Let j be x(-2). Suppose 5*z + j*f = 5*f + 700, -2*f + 2 = 0. Which is greater: 140 or z?
140
Let x(t) = 4*t**2. Let z be x(1). Suppose -8*p + z*p - 132 = 0. Let s = 32 + p. Is -3/73 less than or equal to s?
False
Suppose -27*i + 0*i = -324. Let g be (-2 + 2)*(3 + (-40)/i). Is g at least 2/169?
False
Let l = -3862 + 3862. Which is bigger: 6/4241 or l?
6/4241
Suppose 3*o + 3*c + 642 = -144, c = -3*o - 784. Let m = 248 + o. Suppose -4*h + 2*h - 30 = 0. Is h less than m?
True
Suppose -9*r + 14*r = 45. Suppose -18 = -4*m - 2*w, 5*w - r = m + m. Suppose -m*f + 3 = -4*x + 4, -1 = -f + 2*x. Do f and -17/7 have the same value?
False
Let d be (2/(-4))/((-20179)/(-68)). Which is bigger: -1 or d?
d
Suppose 5*f + 4*y - 56 = -29, f = 4*y - 33. Which is bigger: 5/2646 or f?
5/2646
Suppose 13*i - 9*i - 20 = 0, -736 = 3*k + i. Let x be -251 - (1 - (15 - 9)). Which is smaller: k or x?
k
Suppose -27567 - 17513 = 70*c. Is -644 less than c?
False
Let c(a) be the second derivative of -a**5/20 + 7*a**4/6 - 19*a**3/6 + 9*a**2/2 + 14*a. Let s be c(13). Let k = s - -484/7. Which is greater: k or 3/7?
3/7
Let z = 15689 + -15530. Let h = -55/168 + 1/24. Is h smaller than z?
True
Let b(g) = 42*g**2 + 10*g + 8. Let c be b(-4). Suppose 40*q + c = 20*q. Suppose -7*n - 2 = -9*n. Are n and q equal?
False
Let d = -90 + 104. Let y = d + -7.1. Let z = y - 0.9. Which is smaller: z or -1?
-1
Let q = 1539.92 - 1487. Let g = 0.08 + q. Let z = 49 - g. Which is smaller: 7 or z?
z
Let d = -3954 + 7564003/1913. Is d bigger than -1?
True
Let z(o) = -25*o**2 + 923*o - 3704. Let y be z(4). Which is smaller: y or -410?
y
Let a(j) = 2*j - 40. Let s(w) = 1. Let v(q) = 2*a(q) + 22*s(q). Let h be v(17). Is 11 > h?
True
Suppose 4*j - 2*l = 10, 5*j + 3*l - 11 = -26. Which is greater: j or -10/37?
j
Let k = 0.701 + 6.299. Which is smaller: k or -73?
-73
Let t = 29.6 - 2.6. Let i = -26.79 + t. Let o = i + -0.18. Which is smaller: o or 1?
o
Suppose 0 = -s + 5*d - 1, 4*s - 3*d - 1 = -5. Suppose -36 + 44 = 2*p, 0*n - 2*p + 8 = -3*n. Is s greater than n?
False
Suppose -4*s = 3 + 1. Let r be 2/(-10) + (-777)/15. Let n = 49 + r. Which is bigger: n or s?
s
Let d = -2124014/11 + 193263. Let j = d + -171. Which is greater: 1 or j?
1
Let y be 87*2*2/18*(24 - 12). Are y and 234 nonequal?
True
Suppose -5*w = -4*m + 333, 5*w - 84 = -m - 382. Which is smaller: 14 or w?
w
Let k = 8344 + -1159864/139. Which is smaller: k or 0?
k
Let a = 0.3125 - 0.2125. Which is smaller: 0.0972 or a?
0.0972
Let l be ((-16)/28)/(3/42*100/(-10)). Which is smaller: l or 0.0133?
0.0133
Let g = 129 - 129.131. Let r = 620 - 1861/3. Which is smaller: g or r?
r
Let a(o) = -3*o**3 + 2*o**2 + 7*o - 5. Let h be a(4). Let y = 7506 + -7506. Is y < h?
False
Let x(i) = -12*i**2 - 126*i - 127. Let w be x(-1). Which is smaller: 60 or w?
w
Let k(h) = h**2 + 13*h - 11. Let m be k(-15). Let v = 21 - m. Suppose -41 = 4*r + d, -v*d = r - 0*r + 12. Is -10 equal to r?
True
Let i = 105384 - 103276329/980. Are 0 and i non-equal?
True
Let h = 133496967/1339 + -99699. Is h bigger than 1?
False
Suppose -26*w = 5*w - 22542 + 26789. Is w bigger than -173?
True
Let t be -172*((-6)/20 - (-82)/164)*5. Are -178 and t unequal?
True
Let m(l) = l**2 + 39*l + 380. Let i be m(-19). Let b be 773/259 - 1 - 2. Is i greater than b?
True
Let p = -4171 + 3699. Which is smaller: -5 or p?
p
Let o be 1 + -2 + (6 - 1). Let w(g) = -35*g + 57. Let k be w(o). Which is bigger: -84 or k?
k
Let m = 103573 + -103972.112. Let c = m + 399. Are -2 and c nonequal?
True
Suppose -5*b + 1296 = -h, 3*h = 2*b - 5175 + 1352. Which is greater: -1269 or h?
-1269
Let n(z) = z**3 + z**2 + 4*z + 3. Let f(i) = i**2 + 14*i + 48. Let w be f(-7). Let j be n(w). Which is smaller: j or -21/16?
-21/16
Let h = 737 + -738.739. Let q = h + -0.261. Which is smaller: -8 or q?
-8
Let w(t) = -t**3 - 40*t**2 - 532. Let p be w(0). Are p and -527 equal?
False
Let q = -0.51 - -0.4. Let g = q - -0.1. Which is greater: g or 10/3?
10/3
Let v be (31/(-90) - (-16)/40)*(1 + -4). Which is smaller: -296 or v?
-296
Let p be (-6)/(-104)*984/(-75522). Is p >= -1?
True
Let a = -8 + 8.34. Suppose 0 = -3*r + 4*s - 14, 5*r = r + 3*s - 14. Is a greater than r?
True
Let o = -38.153 - -4.153. Is o at most as big as 12?
True
Let i = 53 + -49. Suppose i*v - 9 = -29. Let u be v/(-4)*(-7)/(7/(-12)). Which is greater: u or -1?
u
Suppose -g - 227 = 5*l - 5*g, -2*g - 192 = 4*l. Suppose 5*u + 4*a + 59 