924). Let s = -75/4 + q. Let o(t) = 2*t**2 - 16*t - 39. Let g be o(10). Which is greater: g or s?
g
Suppose 0 = -2*g - 4*c + 156, 150 = 2*g + 5*c - 7*c. Let p be (-10)/15 + (g/12 - 6). Which is bigger: p or 300?
300
Suppose -4*t = 5*t - 12*t + 240. Which is smaller: -27 or t?
-27
Suppose -40*m + 35*m - 315 = 0. Let k be 38/14 + -3 - 60/m. Which is smaller: k or -84?
-84
Suppose -2276 = -5*p + 1989. Let f = p - 1709/2. Is f greater than or equal to 10?
False
Let t = 5161 + -5161. Do -3/2530 and t have the same value?
False
Suppose 0 = m + 2*a - 8, -4*m - 3*a + 32 = 0. Let s(l) = 50 - 13*l + 6 - l - m*l. Let g be s(6). Is g not equal to -76?
False
Suppose -5*z = 3 + 92. Let l(r) = 26*r - 1647. Let u be l(63). Are z and u non-equal?
True
Let r(d) = -24*d - 49. Let v be r(-1). Which is smaller: -35 or v?
-35
Let x = 270 + -590. Let m be -2 + x/(-55) + -4. Let f = 6 - 0. Is m >= f?
False
Let p(c) = -14*c - 4. Let v be p(0). Let f be (-50)/186 + v/(-12). Which is smaller: f or -2?
-2
Suppose 0*g = 5*d - g - 15, 5*d - 3*g = 25. Suppose 4*t + 121 = d*z - 5*z, 0 = z + 4*t + 35. Which is bigger: z or 6?
6
Let c = -27469 - -27871. Are 398 and c non-equal?
True
Suppose 5*a = 5 + 130. Suppose -4*d = -u - 15, 3*d - 6 = -0*d - u. Suppose 4*c = -d*q - 0*q + 27, -3*c + a = 3*q. Is q smaller than 8?
False
Let k be 92/(-22) + 4 + 48/22. Let v(d) = -5*d - 8. Let h be v(k). Let r be (38/6 - -1)/((-12)/h). Which is bigger: r or 13?
13
Let w = 6873 - 6870. Which is bigger: w or 2608?
2608
Let g = -20927/100 + -123/100. Which is smaller: -5 or g?
g
Suppose 4*l + 224 = 6*l. Let f be ((-2)/(-4))/((-2632)/l). Is -1 not equal to f?
True
Let b(s) = s**2 + s - 12. Let l be b(0). Let f be (l/(-40))/((-1)/2). Let q = 0.03224 - -3.96776. Do f and q have the same value?
False
Let y(j) = -47*j - 18 - 5*j**2 - 842*j**3 - 20 + 843*j**3 - 18*j**2 - 21. Let p be y(25). Which is smaller: 11 or p?
11
Let r(u) = -1923*u - 1787. Let y be r(-1). Suppose -5*t + 0*t + 710 = 5*m, -5*m + 299 = 2*t. Which is bigger: y or t?
t
Let w = 242.71 + 3.29. Let z = -247.38 + w. Which is smaller: 0.1 or z?
z
Let y be 2*(-18)/(-12)*7/(21/(-515)). Is -512 < y?
False
Let o = 46 + -27. Suppose -16*g = 19*g + 175. Let c be (((-108)/10)/3)/(1/g). Does o = c?
False
Let w(i) = 4*i - 16. Let x be w(6). Suppose -x*b + 85 = -13*b. Let d = 14 + b. Which is smaller: d or -6?
-6
Let j = -116137 + 116161. Let c = 3 - 2. Let v be (-295)/(-12) - c/4. Is v at most j?
False
Let w(o) = o**2 - 10*o - 56. Let m be w(14). Suppose 4*g + 7*g + 792 = m. Which is smaller: -73 or g?
-73
Suppose 17*t - 25*t = 48. Let l be 366/21 + -5 + t/14. Which is smaller: -4 or l?
-4
Suppose 2*r + 35 = 5*p, -5*r - 3*p + 392 - 371 = 0. Which is greater: r or -5/1826?
r
Let a = 5.4 - -0.6. Let c = -4 + a. Let b = -3375.4 + 3391.4. Is b != c?
True
Suppose 0 = -5*n + 529*i - 526*i - 923, 2*n - 4*i + 358 = 0. Which is smaller: n or -186?
n
Let y = 6844 - 6925. Let w = -7 - -8. Which is bigger: y or w?
w
Let o = -246826/7 + 35287. Which is bigger: o or 0.2?
o
Let z be 27/(-15)*-5 - 8 - -31. Which is bigger: z or 199/6?
199/6
Let t be (1 - 2)*(143946/8982 + -16). Which is greater: t or 1?
1
Let h = -2337 - -1952. Which is bigger: -393 or h?
h
Let l = -10 - -7. Let b = 78.6 - 85. Let m = 7.4 + b. Which is greater: l or m?
m
Let y = 0.51 + 33.49. Let z be 48/(-88) - 5/11. Which is smaller: z or y?
z
Let v = -722 - -389. Let l = v - -332. Is l less than 3/98?
True
Let b = 339 + -317. Let r = b - 21. Which is smaller: -2/33 or r?
-2/33
Suppose -7*g = -0*g - 14. Suppose 6*a + 8 = g. Let o be -11 - a - 18/9. Which is greater: -8 or o?
-8
Suppose -4*l = -o - 1224, 5*l + 3699 = -3*o + 8*l. Which is bigger: -1235 or o?
-1235
Let o be (0 - (-24)/(-9))/(6 - 245/(-40)). Which is bigger: -1 or o?
o
Suppose 4*i + 2 - 6 = 0. Let h(c) = c**2 + 12*c + 20. Let j be h(-10). Let r be 5/(9 + i) + j. Is -2/19 greater than r?
False
Let w = 0.3 + -0.5. Let h(m) = -7*m + 109. Let j be h(11). Let k be (3 + -1)*j/(-96). Which is smaller: k or w?
k
Suppose -36*m - 2100 = -42*m. Suppose 6*q - 1622 = -m. Which is smaller: q or 211?
211
Let t be 4/(-10) + (-2628)/30. Let o be (3 + -4)*4 + (-87 - -1). Let q = o - t. Which is smaller: q or -1?
q
Suppose 2*j + 6 - 12 = 0. Suppose -j*l - 4*z - 84 = 0, -l + z = l + 45. Suppose -4*g - 3*v - 54 = 30, 3*g - 2*v = -80. Is l <= g?
True
Let i = 2993/20617365 - -1/4045. Is 1 != i?
True
Let o be (10/2)/(-2 + (-1)/(-1)). Let n be ((-146)/28 - o)*-3. Which is smaller: n or 0?
0
Let o(q) = 30*q + 13. Let x be o(-2). Suppose 30 = f + 5*f. Let y(r) = -13*r + 18. Let d be y(f). Is x smaller than d?
False
Let c = 2 + 12. Let d = -28421/7 + 4074. Is d less than or equal to c?
True
Let s = 11304/3368075 + -2/4975. Which is smaller: s or 1?
s
Suppose 19*s + 468 = -14*s - 3*s. Suppose 10 = -3*i - 23. Which is bigger: i or s?
i
Let q = -479/12 - -5513/12. Does 420 = q?
False
Suppose -3*b = g - 35, -5*b + 116 = 5*g - 69. Let i = -35 + g. Suppose 2*o - i*a = 55, -4*a - 189 = -4*o - 81. Which is smaller: o or 23?
23
Let h(r) = r**2 - 14*r - 146. Let x be h(-7). Let s = 2 - 4. Let g be ((-14)/(-8) + -2)/s. Which is greater: g or x?
x
Suppose 0 = -6*u - 1556 + 524. Let r = u + 179. Is 12 at most as big as r?
False
Let q = 397 + -391. Let y be (-407)/q + (-6)/(-18). Is y less than -68?
False
Suppose -651*b = -645*b. Suppose j - 6 = 3. Suppose b = -3*n + n + 5*z + 8, n + j = -4*z. Which is bigger: -8/13 or n?
-8/13
Let r = 20491 + -145263/7. Which is smaller: -262 or r?
-262
Let y = 32 + -98/3. Let p(a) = -a + 11. Suppose -4*b = -4*m - 1 + 21, 0 = 2*m + 3*b - 20. Let r be p(m). Which is smaller: r or y?
y
Suppose 10*z = 13*z + 3*h + 6, 4*h + 17 = -z. Suppose z*a + 790 = -341. Is a less than -378?
False
Let v be 65 + -2 - ((-16)/4 + 1). Let z be 379/14 + v/154. Do z and 27 have the same value?
False
Let i = -113 - -115. Let r be (-93)/31*(1 - i/(-3)). Which is smaller: r or -9?
-9
Suppose -10984 = -16*s + 5368. Are 1022 and s unequal?
False
Let a = 482 - 482.0159. Let p = 0.1159 + a. Is p > 20/9?
False
Let p = 543343/137 - 3966. Is -1 > p?
False
Let r be 2/6 - (-77)/(-33). Let i be 24/(-1 - r) + -3 - -1. Is i <= 22?
True
Let y = 661 + -669. Let f be y - 5/((-2120)/3394). Is -1 < f?
True
Let h(u) = u**3 + 2*u**2 - 3*u + 1. Let n be h(-3). Let f(b) = 32*b + 263. Let q be f(11). Let o be q/(-55) + 11 - 37/(-22). Which is greater: n or o?
o
Suppose 0 = t - 3*u - 12 + 9, -4*u - 15 = -5*t. Let l be (-1410)/(-45) + (-1)/t. Which is smaller: l or 25?
25
Let n = -148 + 139. Let b(a) = a**2 + a - 47. Let r be b(n). Is r smaller than -1/6?
False
Let v = 860/53 - -45968/159. Which is bigger: -2 or v?
v
Let p = -66 - -103. Let m = -35 + p. Suppose m*i - 21 = -i. Which is smaller: 8 or i?
i
Let m = 1261/3 - 420. Let i = -50.92 - -23.99. Let w = i - 0.07. Is m < w?
False
Let q be (-2)/456*2616/45453. Is -1 < q?
True
Suppose 0 = -3*m + 4*y + 9091, 2*y - 3450 = -m - 403. Which is smaller: 3034 or m?
3034
Let b be (-3)/3 - -1 - 404/74437. Which is smaller: 1 or b?
b
Let n = -303 - -614. Let y = -319 + n. Let t be -2 - (-2 + (-2)/6). Is t bigger than y?
True
Let v = -74 - -74.062. Let l = -0.09 + v. Let j = l + -0.082. Which is smaller: -0.1 or j?
j
Let m = 0.594 + -0.194. Let d = -12.91 - 0.09. Is m at least d?
True
Let z(j) = 15*j - 37. Let f be z(3). Suppose 101 = 15*u - 4. Which is greater: u or f?
f
Suppose 134 = -517*a + 134. Which is greater: a or -3/34?
a
Let w = 22 + -18. Suppose -4*u + 3*o - 120 = 0, -2*u + w*o = 3*u + 149. Let p = u + 43. Is -1 < p?
True
Let y = -425.3 + 425.2. Is 16352 smaller than y?
False
Let g = 4 + -3. Let i = 11844289/18 - 657853. Let u = i + -163. Is g bigger than u?
True
Suppose -39 + 198 = 39*s - 36. Is -18.8 > s?
False
Let b(j) = j**2 + 41*j + 33. Let v(y) = 2*y**2 + 42*y + 33. Let l(k) = 4*b(k) - 3*v(k). Let d be l(20). Are -33/4 and d non-equal?
True
Let l be 14/2 + -1 + 1. Let h be (26/3)/((-40)/(-60)). Let a be h/3*(-15)/(-10). Which is bigger: a or l?
l
Let y(b) = 3*b + 1. Let l be y(-2). Let c be (1 - 21) + (-19 - -28) + -1. Which is smaller: l or c?
c
Let f = -186 + 195. Suppose 0*u = 4*u + 8. Let b = f + u. Which is smaller: 0.2 or b?
0.2
Let w(i) = -12*i - 25. Let f be w(-2). Let m be f + 9/7 - 46/210. Let o = -1.9 + 2. Do m and 