se -49*n = 100 + 145. Which is smaller: -69 or n?
-69
Let k = 1068831/85 + -12579. Which is smaller: k or -6?
-6
Let g = 3787 + -1172. Which is bigger: g or 2617?
2617
Let m be (-1 - -51 - 0)*(-45)/30. Is -69 at most m?
False
Let i be (54/(-24))/(1/(-4)). Let a(g) = 2*g**2 + 5*g - 5. Let k be a(-4). Suppose -i*d = d - k*d. Is d <= -19?
False
Suppose -38*v + 19435 = 7199. Let k = v + -321. Which is bigger: -2/221 or k?
k
Let d be (-9)/(72/40) + (-4)/(31200/(-38965)). Is -1 at most as big as d?
True
Suppose 45*t = 5*d + 43*t - 2, 2*t = -2. Which is smaller: -97.2 or d?
-97.2
Suppose 0 = 5*o - 3*o. Let z be -1*4/458 - o. Let y = z - -1607/458. Is y equal to 5?
False
Let m = -256.02 - -261. Let s = m - 5.023. Which is greater: -1/4 or s?
s
Let g be 1/(-4) - 5*4/(-16). Let w = 12 - -6. Let v = w - 20. Which is smaller: g or v?
v
Suppose 5*l - 9*l = 12. Let q be (-4 - (l + 0))*6. Let r = 6 + q. Do -1/3 and r have different values?
True
Suppose 4*i + b - 14458 = 0, 7*i - 5*b - 3604 = 6*i. Which is greater: 0.2 or i?
i
Let n = -55 + 19. Let v = -38 - n. Let b = -1.42 - -0.92. Is v not equal to b?
True
Let o be (-10)/40*(169629/93 - 0). Let g = o - -456. Which is smaller: 0 or g?
0
Suppose -10450 = 6*d + 2150. Let k be 1 + 1 + d/1065. Does -1 = k?
False
Let c(y) = -y**2 - 5*y + 4. Let d be c(-5). Suppose -d*w = -6*w - 12. Let s(p) = 149*p + 1485. Let k be s(-10). Is w < k?
True
Let b be (41/(-13))/(35/(-2765)). Let r = -249 + b. Which is smaller: r or 1?
r
Let p = -26.76 + 30.89. Which is smaller: p or -3/4?
-3/4
Suppose -15 = -6*c + 5*c - 2*r, 5*r - 50 = -5*c. Suppose 3*w = -c*n - 1040, 26*w + 352 = 25*w + n. Is -350 at most w?
True
Let v(w) = -5*w - 3. Let o be v(-1). Suppose o*p = 11 - 5. Suppose -2*z + 2*m = -62, 4*m + 19 - p = z. Which is smaller: 37 or z?
z
Suppose -2*f = -5*p - 7260, 226*f = 224*f - 10. Is p < -1454?
False
Let f = -355537 - -355437. Let v be ((-1)/(-2 - -1))/(-1). Is v smaller than f?
False
Let b = 17686 + -17688. Which is smaller: b or -4700?
-4700
Let y = -867 - -837. Let t = -0.218 + 5.218. Which is greater: y or t?
t
Let w(m) = -m**3 - 15*m**2 + m + 17. Suppose y + 41 = -3*f - 1, -3*y = -3*f - 54. Let k be w(f). Let s be 49/12*((-2)/(-7) + 0). Is k at least as big as s?
True
Let j be 7/(14/8) + 4/(-2). Suppose 2*z + 5*b + 52 = 0, -j*b + 12 = -5*b. Is z <= -18?
False
Let i(r) = -r**3 - 11*r**2 + 11*r - 10. Let k be i(-12). Suppose -k*o + 72 = -60. Let l be (o/4)/(3/(-4)). Is -21 < l?
False
Let v be 3390/4 + -21 + 12. Let l = v + -865. Are l and -27 non-equal?
True
Let i(x) = x**2 - 33*x - 65. Let q be i(33). Let s = -51 - q. Is 0.2 < s?
True
Let i = 31 - 29. Suppose 4*f + 4*k = 4, -3*f + 4*f - i*k - 16 = 0. Let m be (-20)/6 + 4 - (-16)/f. Is 2 at most m?
True
Let s be ((-21)/(-6))/((-234)/36). Is s smaller than -0.2?
True
Suppose 16*p = 10*p + 1020. Let x be -28*(p/32 - 5). Is x < -8?
True
Let c = -25.981 + 26.181. Which is greater: -8367 or c?
c
Let p be -4*(2 + -1) + (-4574)/(-1143). Let t = 2332/26289 - p. Is t less than -0.08?
False
Let k = -1/1286 + 687/56584. Let s = 3.94 - -0.06. Let d = s + -4.1. Which is smaller: d or k?
d
Let y be (0 + 1)*19*-1. Let w = y - 1. Let o(l) = -l**2 - 55*l - 269. Let j be o(-50). Which is smaller: j or w?
w
Let x(m) = -m**2 + 80*m + 323. Let z be x(83). Which is greater: z or 141?
141
Let z be 2 + (8/4 - 2) - -6. Let f be (z/6)/((-34)/(-153)). Suppose 3 - 16 = 3*l + 5*k, -3*k = f. Is l greater than or equal to -12?
True
Suppose -5*a - 44 = -2*t, 17 + 67 = 2*t + 5*a. Suppose -17 - t = -7*m. Which is smaller: m or 6?
6
Let o be (-57)/(-30) + (-220)/550. Let j(t) = t + 4. Let z be j(-4). Which is smaller: o or z?
z
Suppose 0 = -46*n + 44*n - 122. Let i = 64 + n. Are i and 90 non-equal?
True
Suppose -4*m = -5*m - 15. Let k(q) = q**3 + 4*q**2 + 2*q - 4. Let v be k(-3). Is m less than v?
True
Let p(r) = -3 - 40 + 4 - 13 - 11 - r. Let b be p(-19). Is b < -42?
True
Let l = 2.43 + -2.547. Let h = -0.063 - l. Let x = h - 0.154. Which is bigger: x or 7?
7
Let q be ((-396)/(-248))/33*(-12)/45. Let k be 2/(-4) - (-4)/(-8). Is q at most as big as k?
False
Let m = -11035/33087 + 2/11029. Is 113 at least as big as m?
True
Let w = -3832055683/26754 - -143233. Is w smaller than 1?
True
Let r be (-2532)/(-20) - ((-112)/10)/(-7). Which is greater: r or 119?
r
Let j(q) = q**2 + 9*q + 6. Let h be j(-11). Let s be h/16 + -2 + 490/8. Let w = s - 52. Is w smaller than 12?
True
Let x = 30844 + -522267/17. Let d = x + -122. Is -1 greater than d?
False
Suppose 14*c = 85 - 15. Suppose -c*i + 9*i - 4*z = 28, -5*z = i + 11. Is i bigger than 1?
True
Let i = 3.31 - 0.65. Let o = 2246 - 2246.34. Let c = o - i. Are -2 and c unequal?
True
Let u(p) = -2*p - 19. Let l be u(-8). Let f(w) = w**2 + 9*w + 12. Let j be f(-7). Let y = l + j. Which is smaller: 3/4 or y?
y
Let z be ((-28)/8 + 3)/(8/(-32)). Let j(l) = 3*l. Let c(f) = f - 1. Let q(x) = 6*c(x) - j(x). Let m be q(z). Is m at most 0?
True
Let q(s) = -s**3 - 15*s**2 - 3*s - 135. Let t be q(-16). Which is bigger: t or 170?
170
Let c = -47.3 - -47.13. Let q = c - 193.83. Which is smaller: q or -1?
q
Let k be 16 + -17 - (-3)/5. Let w = 14 - -91. Let a = -97 + w. Which is smaller: a or k?
k
Let v(l) = -2*l**3 - 27*l**2 + 14*l + 2. Let p be v(-14). Let q be 1/p - 294/(-105). Which is greater: q or 4?
4
Suppose 69*q - 457610 = -65*q. Is 3415 less than or equal to q?
True
Suppose -9 = y + 2*u, 5*y + 5 - 25 = 3*u. Let l be y + (3 - -61) + 4/(-4). Which is bigger: l or 62?
l
Let p be (1 - 0)*(-4)/8*2. Let g = 76.996 + 0.004. Is p bigger than g?
False
Let m = -114 - -181. Let s = -36 + m. Is 31 less than or equal to s?
True
Suppose 1 = -8*i + 1. Suppose -3*k = 3*d - 42, 4*k + i*k + 2*d - 48 = 0. Let m be 6/130 + (-2)/k. Which is smaller: m or 1?
m
Let a be -3 + (-4)/54*-39. Let c = 40/117 + a. Are c and 1 unequal?
True
Let t = -0.17 + 0.04. Let h = -0.13 - t. Let g = 2244/5 + -448. Is h greater than or equal to g?
False
Let p = -1581937769410/351 + 4506952584. Let l = 7372 - p. Suppose a = 2*c + 7, -3*c = -0*c + 5*a - 22. Are l and c equal?
False
Let o = 532 + -309. Let s = o - 220. Is 0.05 at least s?
False
Suppose -3*l - 96 = -4*u - 10, 3*l + 5*u + 95 = 0. Let c be (-4)/l*372/120. Let d = c + -1/75. Which is smaller: 1/13 or d?
1/13
Let b be (-4)/3*(2 + -407). Suppose b = 5*c - 20*c. Suppose 0 = 7*t - 12 - 2. Is t < c?
False
Let m = 31 - 31.049. Let s = 20814 + -20816. Is s != m?
True
Suppose -3*v = -2*z + 341 - 0, 5*v + 347 = 2*z. Suppose 30*k - 29*k + z = 0. Which is smaller: k or -165?
k
Suppose 0 = 44*k - 40*k - 13380. Is 3346 >= k?
True
Suppose -5*j = -4*j - 6. Let v be (46/j)/1 - 1/(-3). Suppose -8*a - v - 16 = 0. Which is bigger: a or -4?
a
Let q be 758/1137*(-1431)/(-2). Is 482 at least q?
True
Let c(b) = -100*b**2 + 2*b - 1. Let p be -4*(-2)/20 - (-92)/20. Let y(j) = 150*j**2 - 3*j + 1. Let g(n) = p*y(n) + 7*c(n). Let q be g(-1). Is q < 48?
False
Let d = 410417/1854 + 359/206. Is d > 223?
True
Let t be (3/(-9) - 20/(-51))*590/(-77585). Which is smaller: t or 1?
t
Let q(g) = -g**2 - g + 7. Let i = -135 + 132. Let f be q(i). Which is greater: f or 1/634?
f
Let k be (22 + -24)*(-6)/12. Which is smaller: k or -590?
-590
Let l = 0.1376 + -0.1376. Which is smaller: l or -121?
-121
Let y = -110 + 111.55. Let m = y - -102.45. Let d = m - 89. Is d at most -4?
False
Let l be 1/(-11) + (-7632)/(-583). Let i(j) = 6*j + 26 - 17*j + 4*j + 4. Let k be i(l). Which is bigger: k or -60?
-60
Let y = -0.0085 + 0.0185. Let b = 24.7 - 1.7. Which is greater: y or b?
b
Let a be 3/(-3) + 335*-1. Let t = a + 14452/43. Let c be -1*2 + 1 - (7 + -7). Which is smaller: c or t?
c
Suppose 1120*l + 2*y - 761 = 1123*l, -3*y = -l - 256. Which is smaller: -4071/16 or l?
-4071/16
Let u = -145 + 147. Do 130/69 and u have the same value?
False
Let z(j) = -7*j**2 + 4*j + 50. Let i be z(-15). Let d be -2 + 5/(-3970)*i. Let b = d - -11713/397. Do 31 and b have different values?
True
Suppose -99 = -4*q - 3*u, -4*u = -q + 5*q - 104. Let g be ((-1)/3)/((-9)/3078*6). Suppose q*f = g*f. Which is smaller: f or 1?
f
Let h be 2*((-6)/4)/3. Let n = -0.446 + -3.854. Let i = n - -8.3. Which is smaller: i or h?
h
Let o = -0.6 - -0.5. Let x be 40/(-208)*(-70)/175. Which is smaller: x or o?
o
Let n be (15/(5/1))/(6/8). Su