2/(-6). Which is greater: 0 or i?
i
Let r = -2324 - -2328. Which is bigger: r or 140?
140
Let m = -9502153/16904 - -4497/8. Which is greater: m or -1?
m
Suppose 3*m = 15, y + 3*m - 18 = -0*m. Suppose -3*s - t = -447, -2*s + 731 = y*s - 3*t. Let r be s/50 + -11 + 8. Do 1 and r have different values?
True
Let n(v) = v**2 + 81*v + 925. Let f be n(-17). Which is smaller: f or -161?
f
Let j = -4.363 + 22.363. Which is greater: -0.211 or j?
j
Suppose 0 = -3*j + 5*f + 326 + 731, 0 = -3*j + f + 1073. Do 360 and j have the same value?
False
Let z = -18 + 16. Suppose -2*c + 8*c + 18 = 0. Let n be 2 + -9*c/45. Which is smaller: z or n?
z
Let c = -19.02733 - -0.02733. Suppose -5*a + 3*a = 2. Is c not equal to a?
True
Suppose -2*z = -s - 11 + 28, 5*z = 4*s - 65. Suppose 0 = 4*i - s + 7. Suppose -5*x + i*f - 82 = 0, x + f + 14 = -8. Is x at most -2?
True
Let r(v) = 3*v**2 + 161*v - 655. Let c be r(4). Which is smaller: 12 or c?
12
Let l be ((-2)/(-15))/(16/860). Let c = 25095 + -25089. Which is smaller: l or c?
c
Let x be -2 - (-12)/7 - (-7180)/26355. Which is bigger: x or 0?
0
Let l = -1.4994 + 1.4194. Which is bigger: -644 or l?
l
Suppose -3*o + 130 + 14 = 0. Let q = 58 - o. Are q and -0.01 equal?
False
Suppose 3*s - 444 = -132. Suppose -14920 = -196*f + 5660. Is s greater than f?
False
Suppose -4*z + i + 1314 - 351 = 0, 2*z - 4*i = 464. Which is bigger: 3128/13 or z?
z
Suppose -69*l + 55098 = -382638. Which is bigger: 6345 or l?
6345
Let l(d) = d**3 + d**2 + 11. Let y be l(0). Let a(h) be the first derivative of -h**4/4 + 5*h**3/3 - 3*h - 14. Let i be a(4). Which is smaller: y or i?
y
Let f = -1515/19 + 2267917/28443. Which is smaller: f or -1?
-1
Let a = 35.73 + -35.83. Which is smaller: a or -3236?
-3236
Suppose 12 = 6*y - 2*y. Suppose y*f = 5*v + 69, -2*v + 5*f - 19 - 20 = 0. Let a be 0*(8/v - -1). Is a smaller than -18?
False
Let s be (-1640)/475*((-21)/7 - -8). Which is greater: -16 or s?
-16
Let l = -9342 + 9887. Which is greater: l or 2721/5?
l
Let n(q) = -q**2 + q - 1. Let k be n(0). Let g be 203/2*1524/(-889). Let y = g - -8528/49. Is k not equal to y?
True
Suppose -3*m + 2*m - 5 = -2*t, -2*t - 2*m + 14 = 0. Suppose 0 = 2*k - 6*k - 2*p - 288, -t*p = 2*k + 144. Is -640/9 > k?
True
Let y = -175 + 183. Suppose k = y - 9. Let l = 860/7 + -124. Are k and l unequal?
True
Let u be -361 + 357 + (0 - (12 - 1)). Are u and -28 non-equal?
True
Let y = -11.2 + 12.4. Let x = 32.2 - y. Which is greater: x or -2?
x
Let c = 10943 - 2812349/257. Is 0 <= c?
True
Suppose -148 = 5*j + 2*h, j + 71 = -164*h + 159*h. Let m be (-10)/(-1)*(-2)/4. Let d(f) = 6*f + 2. Let u be d(m). Which is bigger: j or u?
j
Let d(j) = j**3 + 4*j**2 - 4*j + 9. Let n be d(-5). Suppose -n*g + 38 = -74. Suppose 3*t = o - g, -2*o - 2*t + 42 = 2*o. Is o at most -0.1?
False
Suppose 3*j + 10 = -5*l, -9*l = -11*l - 4. Let f = 167/938 - -1/1876. Is f equal to j?
False
Suppose -4*t + 16 = -5*v, -12 = -2*v - 4*t + 4. Suppose -243 = -i + 4*i + 2*g, v = 3*i + 3*g + 243. Let x = i + 81. Which is smaller: 3/25 or x?
x
Let i be (5 + -3 - (-3 + 2)) + 3. Suppose 14*c - i = 8*c. Let h be (c + (-9)/6)*(2 + -2). Which is smaller: 2/65 or h?
h
Let u = -611 - -641. Suppose -2*d = u*d. Is d <= 9/13?
True
Let g = -114 - -124. Suppose -8*k - g = -10*k. Suppose -k*w + 27 = 22. Which is bigger: 15/7 or w?
15/7
Let l be (9 + -16)/(-49)*2 + (-906)/(-14). Which is smaller: 67 or l?
l
Let x be -1089 + (2 + 1 - (-20)/(-4)). Is x less than or equal to -1090?
True
Let b = -344 - -337. Let o be -4*(b + 88/12). Which is smaller: o or -1?
o
Let m = -8 + 3. Suppose -4*r - a - 1301 = -1270, -5*a = -r - 13. Do m and r have different values?
True
Suppose 5*g - 4*g = u - 3, 12 = 4*g. Let y be 47 + -51 - (-2)/3*u. Is 3/164 <= y?
False
Let q be (-6)/21 + 20/42*114. Let s = q + -94. Let a = 48 + s. Which is greater: 2 or a?
a
Suppose -62*p - 9*p = 6*p + 459151. Is -5962 < p?
False
Let h = 2406 - 2405. Which is smaller: 6/1555 or h?
6/1555
Let b = 0.10096 + 35.89904. Are -22 and b nonequal?
True
Let w = 480 + -23518/49. Let k be (-7 - -17) + -2 - 9. Which is bigger: w or k?
w
Suppose a + 4*y - 11 = 0, 0*a - 2*y = -4*a - 10. Let h be (99/231)/((-65)/364). Which is bigger: a or h?
a
Suppose 4*c + 71*t - 70*t = 60, -3*t = -3*c + 30. Which is smaller: c or 628/47?
628/47
Let d(a) = -9*a - 56. Let j be d(-7). Suppose x = 3*f + j, -4*f = -4*x - f + 10. Does -2/585 = x?
False
Let v(t) = t**3 + 9*t**2 - 5. Let z be v(-8). Let r = z + -34. Suppose 135 = 5*h - 0*h. Which is bigger: r or h?
h
Suppose 5*x + 12 = -3*d - 20, 2*x = 4*d + 8. Let l be ((-4)/(-6))/(d/426). Which is greater: l or -72?
l
Let i = -588.8 - -507. Let s = i + 81.7. Which is smaller: s or -10/9?
-10/9
Let r be (537/(-18))/(88/6). Let x = r + 21/11. Let j = -19429.2 + 19429. Which is greater: x or j?
x
Let b be ((-1)/15)/(9/(-21) - (-10582)/(-1540)). Which is greater: b or -0.1?
b
Let q be (14/(-644))/((-501)/12). Which is greater: q or -1?
q
Let s be (-6)/27 - 8/(-3096)*83. Let d be 30/75 + 3/5. Which is greater: d or s?
d
Let s = -2.756 - 0.044. Let f be (-7)/21*(-16)/48. Is f less than s?
False
Suppose 8*s = 12*s - 16. Suppose -5*q + s*q - 28 = 0. Suppose -15 = d + 13. Is d <= q?
True
Let v = -10 - -2. Let f = -277279/10 + 27721. Do v and f have the same value?
False
Let g be (-9 - -15) + -7 - -257. Which is smaller: g or 0.2?
0.2
Let p = 357 + -687. Let c = -326 - p. Do -30 and c have different values?
True
Let g be ((-12)/(-94437))/((-32)/112). Is -1 smaller than g?
True
Suppose j + 60 = 6*j. Suppose -24 = -0*s + j*s. Let h be (-2 - 35/(-15))*-2. Which is smaller: s or h?
s
Let u(y) = -2*y**2 + 176*y - 667. Let c be u(78). Which is smaller: c or 890?
890
Let j = 48 - 527/11. Suppose k = 5*m + 2795, 11*k - 16*k = 2*m + 1091. Let f = 558 + m. Which is smaller: j or f?
f
Let k(j) = -j**2 + 57*j - 491. Let n be k(25). Which is smaller: 317 or n?
n
Suppose 0 = 3*s + 2*v - 1 - 2, -3*s + 12 = -v. Suppose -s*m = -2*m + 18. Let q = 1563 - 1581. Is m less than or equal to q?
True
Suppose -m - 12 = m. Let q(b) = -118*b**2 + 18*b - 34. Let n be q(2). Let x = n - -1393/3. Is m greater than x?
False
Let i be ((-2)/4)/(27/1242). Suppose z = -4*x - 15, 2*x - 7 = -1. Let g = z - -3. Which is smaller: g or i?
g
Let h(z) = -3*z - 9. Let j be h(-4). Suppose 3*r - k = 5, j*r - 7*k - 15 = -4*k. Let f = -24.7 - -24. Which is bigger: r or f?
r
Let d = -13634 + 13134. Which is bigger: 0.9 or d?
0.9
Suppose -28 - 2 = -10*s. Suppose n = s*y + 5, n - 1 = -n - 3*y. Suppose 3*c + h + 1 = n*h, 0 = c + 3*h + 7. Is -3/52 at most c?
False
Suppose -88 = -9*f + 56. Suppose -f = 3*v - 10. Is v < 17?
True
Let n be 11*-1 - (-43)/(91203/18501). Is -3 < n?
True
Let o be (-30)/(-18)*(-6 + 3) - -1. Let x(n) = n**3 + 3*n**2 - 2*n - 6. Let p be x(o). Is -20 at least p?
False
Let y = -129 - -121. Let c be 6/10 + y/(-240)*-93. Does 0.1 = c?
False
Let h(w) = w**2 + 12*w + 4. Let s be h(-4). Let k be s/(-1) + (-2)/4 - 2. Which is smaller: 27 or k?
k
Let m = -22 - -51. Let h = -66 + m. Do 2/9 and h have the same value?
False
Suppose 6*w - 35*w = -406. Which is greater: w or 1.01?
w
Suppose -5*a + 173 = 3*l, 0 = 3*l - 4*a + 6*a - 170. Suppose -10*q = -l + 76. Is q greater than 16?
False
Let j = 7306 - 7341. Which is smaller: j or 83?
j
Let o = -4326 - -3693. Which is bigger: -638 or o?
o
Let t = -21902/25 - -877. Which is smaller: 0 or t?
0
Let p(c) = c**3 + 4*c**2 - 3*c - 5. Let u be p(-4). Let f(l) = -4*l**3 - 3*l**2 - 2*l. Let s be f(-2). Let n be ((-42)/(-90))/(2/s). Which is smaller: n or u?
n
Let c = -117 - -272. Suppose 7*q = 2*q - 4*b - c, 5*q + 200 = 5*b. Let z be (-14)/q - 296/(-10). Is 30 equal to z?
True
Let r(i) = -i**3 + 15*i**2 - 14*i + 1. Suppose 3*y - 13*y + 140 = 0. Let f be r(y). Suppose 3*n - 19 = 2*l, -n - 3 = l - f. Which is smaller: 1 or n?
1
Let z = -32.98 + 32.94. Which is smaller: -80 or z?
-80
Let w be (-3*(-2)/12)/(1/134). Let a = w + -105. Are a and -39 unequal?
True
Let s be 12/2 + 23/((-69)/18). Let t(x) = -x**2 - 12*x - 6. Let v be t(-11). Suppose -v*c = -25, -c = -4*u - s*c + 19. Do 7 and u have different values?
True
Let z = -3016 - 3093. Let c = -1154597/189 - z. Is c smaller than 1?
True
Suppose -657*o - 373*o + 3237 = 2207*o. Let q(c) = -24*c**3 - c**2 - 2*c. Let w be q(2). Which 