- 4*o = 12. Let m(u) = 11*u - 180. Let v be m(17). Suppose 3 = -5*a - g*n - n, -3*a = -2*n + v. Which is greater: a or 2?
2
Suppose 3*p = -2*t + 205, 2*p + 4*t + 73 = 3*p. Let f = 57 - p. Let x be (-14)/(-5)*30/f. Which is smaller: 0 or x?
x
Let i = 1636709 - 1636876.9733. Let q = -168 - i. Which is bigger: q or 0.1?
0.1
Let u = -6825 + 7502. Do 682 and u have the same value?
False
Let o(v) = -2*v - 23. Let s be (32/20)/(2/(-15)). Let c be o(s). Let x be -1 - (2 + c - -10). Which is bigger: x or -13?
-13
Let t = -21490 + 31112. Is t < 1?
False
Let i(o) = -7*o + 91. Let y be i(28). Let l = -105 - y. Suppose 4*t + 4 = l, 0*w + w - 4*t = -20. Is w bigger than -25?
True
Let m = 42 - 47. Let c be m/(-3 - -2) - -11. Let p = -28 - -43. Is c != p?
True
Let d = 2.225 + -2.325. Let i = -52119787/115 + 2263704/5. Let j = i + 475. Are d and j unequal?
True
Let u = 443 - 223. Let f = 221 - u. Are -11 and f non-equal?
True
Let i = 4780 + -4750. Is i at most 34?
True
Let w(l) be the third derivative of -l**5/60 + 23*l**4/24 - 22*l**3/3 + 64*l**2. Let f be w(21). Which is greater: f or -5/2?
f
Let g(o) = -29*o - 1310. Let f be g(-42). Which is bigger: f or -94?
f
Suppose 4*f = -9*f + 442. Let r be (-620)/(-18) + 40/(-180). Which is smaller: r or f?
f
Let h = 0.0102 + -55.8102. Let u = 47 + h. Let q = -6.8 - u. Is q != -0.09?
True
Let b = -0.065 - -6.065. Let q = -43 - b. Let g = -49.45 - q. Which is greater: 1 or g?
1
Let x be 6*-3*6684/72. Which is greater: -8358/5 or x?
x
Let x be (-16)/(-2)*3681/12. Let m = 85898/35 - x. Is m less than -1?
False
Let x = -2 - -3. Let n = 0.031 - 0.069. Let t = n + -5.862. Which is smaller: x or t?
t
Let j(d) = d**2 - d - 2. Let k be j(2). Let t be 12/(-126)*(-35)/8. Does t = k?
False
Let a = -20614 + 9372. Does -11241 = a?
False
Let v be (4/(-32))/(36/288). Let y be 104/(-57) - 4/(-6). Is v bigger than y?
True
Suppose -3*n + 2*u + 11345 = 0, -13*n = -14*n + 7*u + 3826. Is n bigger than 7553/2?
True
Let k = -55 + 59. Suppose 3*q = 4*s + 17, -6*q + 8 = -k*q - 2*s. Let d be (0 - -12)*(q/4)/(-1). Is 3 equal to d?
True
Let h be (6/10)/(2508/(-59916)). Let m = 2/3135 + h. Let r be (-2)/(-4) + 124/(-8). Is r >= m?
False
Let m be 99/15 + 2/5. Let o = m + -3. Let w = -24661/2 + 12333. Which is greater: w or o?
o
Let i be (-1152)/(-48240)*(-5)/(-4372). Which is smaller: i or 0?
0
Let h = 59 + -37. Let p be ((-11)/h)/((-1)/(-196)). Let a = -685/7 - p. Which is bigger: a or 0.4?
0.4
Let t be (-12)/(-102)*(2 + (-26)/14). Let x = 70 + -76. Let k = -6 - x. Which is greater: t or k?
t
Suppose -5*f - 37101 + 5960 = 2*a, 30 = -10*a. Which is smaller: f or -6228?
-6228
Let h(t) = 8*t**3 - 2*t. Let z be h(-2). Suppose 2662*b - 2675*b = 728. Which is greater: z or b?
b
Let f = -616 - -909. Is 280 > f?
False
Let n be ((-14)/49)/(70155/(-105)). Is 1 >= n?
True
Let h = 22 + -21.9. Let b = -6935 - -7000. Which is greater: h or b?
b
Let t be (-196)/(-42) + 2/6. Suppose -1 - 11 = 2*v + 2*i, t*v = -3*i - 26. Let f be (v/30)/((-116)/20). Is 0 smaller than f?
True
Suppose 0*i = u + 4*i + 2, 5*i = -2*u + 17. Are 1308/53 and u unequal?
True
Let t = -0.332 - -19.032. Let i = -19.1 + t. Which is greater: i or -3?
i
Let m = 267/260 - -2068799/780. Is 2654 at most m?
False
Let a be 13 - ((-1)/(-4) - 180/80). Are a and 19 unequal?
True
Let r be 2/(-15)*86034/(-52). Let l = r + -223. Suppose b - 4*b = 9. Is l bigger than b?
True
Let v = -28790 + 28724. Which is smaller: v or -1143/17?
-1143/17
Let q = -11 - -6. Suppose -29*b = 17*b - 5520. Suppose 0 = 3*u - b + 105. Which is smaller: q or u?
q
Let f = -11/3 + 157/42. Let b be ((-4 - 1) + 5)/(-1) - 0. Suppose -3*u - 3*c - 15 = b, -4*u - 5*c = -0*c + 24. Which is smaller: f or u?
u
Let y(z) = -157*z**2 + 13*z - 15. Let l be y(1). Which is smaller: l or -12?
l
Let c = -783/10 - -2459/30. Which is smaller: c or 18?
c
Suppose -2*q - 3*h + 1956 = 0, 5*q + 3*h - 6928 = -2029. Which is greater: q or 980?
q
Let z = -18182 + 19406. Which is bigger: z or 8572/7?
8572/7
Let u = 89 + 244. Let s be u/(-27) - 7 - (-4)/(-6). Is s >= -170/9?
False
Let p = -19666 + 19666.03. Is 1/1954 less than p?
True
Suppose a - 5 - 15 = 4*c, -3*a + 24 = -3*c. Let k be (19 - 0/c)*3. Suppose 0 = -2*z - k + 17. Which is bigger: -21 or z?
z
Let l be 2/(-12)*-40 - (-3)/9. Let q be (6/(-9))/(l/(-49)). Is q > 5?
False
Let m(f) = -10*f**2 - 68*f - 311. Let z be m(-5). Which is smaller: -222 or z?
-222
Let a = 3/4528 + -5965/2168912. Is a not equal to 1?
True
Let q = -31639 + 42807569/1353. Let d be ((-727)/27060)/(-19*(-19)/9386). Let u = q - d. Which is smaller: u or 0?
0
Suppose -8568 = 105*x + 99*x. Does x = -247/6?
False
Let f = -144 - -148. Suppose -f*g + 20 = -2*a, -4*a + 4 = -4*g + 7*g. Which is bigger: g or -3?
g
Let d be ((-6)/(-5))/(2 - 34/20). Suppose -5*u + 8 + 16 = 3*g, d*g - 32 = 4*u. Let s(t) = -t**3 + 4*t**2 + 7*t - 5. Let q be s(5). Is q at most g?
True
Suppose t + 14*s - 36 = 10*s, 4*t = s + 76. Suppose 209 = 3*n + t. Which is greater: n or 61?
n
Suppose -4*y + 2875 = -0*j - j, 5*j + 3605 = 5*y. Let c = -40927/57 + y. Suppose 60*u - 64*u + 4 = 0. Is u equal to c?
False
Suppose 2*y - 3 = -5*f - 11, 0 = -3*y + 2*f - 31. Let v be 27/18 - y/4. Suppose -9*g + 8*g + 4 = 0. Is v != g?
True
Let d be (-5440)/240*(-27)/(-4). Which is greater: d or -133?
-133
Let g = -8 + 6. Let u = -854 - -838. Which is bigger: u or g?
g
Let m be (20775/9 - -5) + 13/((-390)/(-20)). Which is greater: m or 2311?
m
Let y be (-1)/4 + 0 - (-130)/104. Let u be 3/435*294 - 2. Which is smaller: y or u?
u
Let p be -15*2/18 - 2/6. Let n(h) = h**2 - 50*h + 621. Let i be n(26). Which is smaller: i or p?
i
Let d be 1404/(-64)*(-76)/114. Which is bigger: 0.5 or d?
d
Let z = -22 - -6. Let y = 27 + z. Let j = y - 10.89. Which is greater: j or 0.1?
j
Suppose 3*r - 389 + 238 = l, 5*r = -2*l + 226. Which is smaller: r or 45?
45
Let n = -48.2 - -47. Let y = 1.43 + n. Which is bigger: y or -1?
y
Let z be -1*-8*(-13)/104. Is z at least as big as 2/1073?
False
Let q(u) = 2*u**2 + 29*u + 51. Let o be q(-15). Suppose 219 = -3*i + o. Is i greater than -50?
False
Let o = 0.03 - 0.03. Let x = -187 - -150. Let b = x + 34. Which is smaller: b or o?
b
Let g = 10.1 - 10.2. Let b(h) = 13*h**2 - 8*h - 11. Let i(v) = 4*v**2 - 3*v - 4. Let s(f) = 4*b(f) - 11*i(f). Let p be s(-2). Is g != p?
True
Let j = -2939/4550 + 1/325. Let l be 18/(-3) + 4 + 1. Which is smaller: l or j?
l
Let d be (-42)/49 + 1 - (-110)/14. Let r(v) = -d*v - 9*v + 18*v + 7. Let o be r(-5). Is 3 at most as big as o?
False
Let b = -616 - -622. Let l be b/2 - (2 + -1 - -2). Which is bigger: l or -3/644?
l
Suppose 6*a - 4 = -f + a, 3*f - 4*a = -7. Which is greater: -11/3379 or f?
-11/3379
Let z(a) = 5*a**3 + 2*a**2 + 3*a + 6. Suppose 3*f = -6, -5*f - 16 = 4*k + 2. Let t be z(k). Which is bigger: -95/3 or t?
-95/3
Let s = 16381 - 15782. Which is smaller: s or 11?
11
Let s(q) = q**3 + 11*q**2 + 29*q - 4. Let o be s(-6). Suppose -5*u + 55 = -5*x, -3*x + o*x - 11 = -4*u. Which is smaller: x or -21/2?
x
Let k(h) = -144*h - 3179. Let f be k(-23). Do 1/4 and f have the same value?
False
Suppose 2*a + 52 = -156. Let o be 1/2 + a/210. Let b = o + -58/1155. Is b equal to 1?
False
Let l(a) = -115*a. Let y be l(-1). Let n = -207 + 322. Is y at least n?
True
Suppose 0 = 3*z - 0 + 6. Let m = 13 - z. Suppose -10*q = m + 15. Which is bigger: -11/3 or q?
q
Suppose -6*k = -13 - 17. Suppose 25 = k*v, 3*p - 63 = -0*p + 3*v. Let r = p + -15. Which is smaller: 12 or r?
r
Suppose -2*l + 304 + 59 = 5*j, -4*l = -2*j + 150. Suppose -2*y - 88 = -2*h, -249 = -4*h - 5*y - j. Suppose 0 = h*n - 43*n + 14. Is -14 >= n?
True
Let v = 4 - 1. Suppose 34 = 4*t - 3*y, 5*t - 4*t + 4*y - 18 = 0. Let o be ((-1)/(-9 - -13))/(t/(-104)). Which is bigger: v or o?
v
Let r = -1377 - -2755/2. Let m = 0.6 + 20.4. Let i = -21.13 + m. Are r and i equal?
False
Let p be (75712/(-663))/13 + ((-4)/(-34))/1. Which is bigger: -4.3 or p?
-4.3
Let h = 100.057 + -100.157. Suppose 0 = u - 2*u - 47. Which is smaller: h or u?
u
Let y = 26 - 21. Let s(a) = -6*a**3 + 5*a**2 + 8*a + 4. Let g(f) = f**3 + f**2 - f. Let c(t) = 4*g(t) + s(t). Let j be c(y). Which is smaller: j or -1.5?
-1.5
Let f(y) = -3*y - 14. Let z be f(-3). Let t be (-4)/(-3)*6*z/20. Let j be (-1 + t + 2)*(-3)/(-60). Is j