17 - 3.3017. Which is greater: -174/77 or c?
c
Let i be (-5 - -6)*(240 + 1). Suppose -5*v = s - 6*s - 390, -3*s = 4*v + i. Which is smaller: -80 or s?
-80
Let m = -14 - 0. Let p be (-24 + 59)*(-1)/5. Let h be 2/(-4) - p/m. Do h and 3/20 have the same value?
False
Let j be ((-4 + (-77)/(-21))*-1)/(11/(-33)). Let f be (-1)/4*56/32. Which is smaller: f or j?
j
Let j be (-422)/(-426) - (1 - 0). Let w = 260688 + -260689. Which is smaller: w or j?
w
Suppose 3*l + 2*d - 232 = 0, 0 = 5*l - 9*l - d + 311. Let n be ((-4)/(-3))/((-104)/l). Suppose -7 + 64 = -3*g. Which is bigger: g or n?
n
Let h = 654 - 1617. Is -963 != h?
False
Let v(k) = 12*k**3 - 205*k**2 + 12*k - 46. Let i be v(17). Is i bigger than -146?
True
Let j(u) = u**2 - 4*u + 375. Let d be j(0). Let h be (d/10 - -4) + -5. Which is greater: h or 37?
37
Let y be -3 - (-4 + -4 + -2 + 2). Suppose y = -21*g + 16*g. Suppose 0 = -a + 2*a - 4. Is a not equal to g?
True
Let s = 57443.631 + -57484. Let a = s - -0.369. Which is greater: -3 or a?
-3
Let r be 8 + 23/(23/(-12)) - 32. Is -2 < r?
False
Let b be 1714/5 - 3336/139. Do -2/13 and b have different values?
True
Suppose -8*u + 280 = -0*u. Let b be (-7)/u + ((-174)/30 - -5). Which is bigger: 6 or b?
6
Let u = -130 - 47. Let n = 166 + u. Which is smaller: -4 or n?
n
Let k(h) = -4*h**3 + 24*h**2 + 9. Let r = -362 + 368. Let w be k(r). Let v = 16 - 9. Which is smaller: v or w?
v
Let k = -0.27 + 1.97. Let t = 118 - 115. Is t <= k?
False
Suppose -387*h = -393*h + 66. Suppose 0 = 12*r - r - h. Are 7/20 and r non-equal?
True
Let m = -1913604280 - -5338956134567/2790. Let i = -693/10 + m. Which is smaller: 0 or i?
0
Suppose 0 = 4*r - 3*q + 56, 2*r - 5*q + 14 = -0*q. Let d = -650 + 650. Suppose d = 3*u - 457 + 505. Which is smaller: u or r?
r
Let y = 1330 + -1300. Let m be 1 - -2*(-1)/(-2). Let b be (0 + m)*(-62)/(-4). Is b bigger than y?
True
Let a = 1427/91 - 190/7. Let t = -1341/52 + a. Let x = 37 + t. Which is greater: x or -1/3?
x
Let c(m) = 1 - 4*m - 2*m**2 - m + m**3 + 2*m. Let h be c(3). Let b(s) = 75*s - 1652. Let u be b(22). Which is smaller: h or u?
u
Let n = 426 - 688. Let p = n + 260.9. Which is bigger: p or 1/9?
1/9
Let f be 5868/69552 - (-4)/(-42). Is 0 at most as big as f?
False
Let j be 7 + -4 + (2 - 2). Suppose 0*b - 95 = -5*w - 3*b, 0 = -w + j*b + 37. Suppose 0 = -4*t + 2*t - 2*i + w, -3*t = 2*i - 29. Which is smaller: t or 6?
6
Suppose c - 328 = a - 1374, -a - 4209 = 4*c. Which is smaller: -1050 or c?
c
Suppose 5*x = -2*s + 93, -2*x + 5*s = -5*x + 71. Let r = 150 - 135. Which is smaller: r or x?
r
Let b be 120/(-126) + (-14)/(-49). Is b less than or equal to 206?
True
Let h be 12/(-1152) - (-13)/(-78). Which is bigger: h or 1?
1
Let m = -78 + 78. Suppose g + m*g - 1 = -l, 2*g - 3 = -l. Let a be 1/(-3) - g*235/(-1140). Which is greater: 1 or a?
1
Let g be (1169/39412)/((-1)/24). Which is smaller: 0 or g?
g
Let h(i) = -i**3 - 22*i**2 + 47*i - 21. Let d be h(-24). Let a = 583 + -4051/7. Do d and a have the same value?
False
Suppose -4*n = -3*c - 30862, 5*n - 28036 = c + 10525. Which is smaller: 7712 or n?
n
Suppose 80 + 6 = -9*u - 247. Which is bigger: u or -45?
u
Let p = -3021 - -3195. Which is greater: 5 or p?
p
Suppose 0 = -19*z + 9*z - 220. Let b = z - -61. Which is greater: 42 or b?
42
Suppose t - 5*a - 358 = 0, 27*a = 2*t + 30*a - 703. Is t at most -0.1?
False
Let p be -11 - 34/((-9350)/(-39125)). Is p less than or equal to -153?
True
Let u = 6504 - 39157/6. Suppose 3*q + b = -67, -q - 41 = 5*b - 0*b. Is u smaller than q?
True
Suppose -5*x - f + 990 + 4583 = 0, 5*x - 5559 = -3*f. Is x smaller than 5579/5?
False
Suppose -b = 5*c + 19, -2*c + c - 5*b - 23 = 0. Let p be (-600)/(-80)*48/(-10). Let z be (14/7)/(c/p). Is 24 smaller than z?
False
Let f = -6285 - -7681. Which is smaller: 6987/5 or f?
f
Let l(y) = -2*y - 17. Suppose -2*q - 2*j - 16 = 0, q + 0*q = -5*j - 8. Let t be l(q). Let c be (185/5 - t)/(-1). Which is bigger: c or -37?
-37
Let n(x) = -3*x**3 + 21*x**2 - 2*x + 5. Let o be n(5). Let s = -41 + o. Suppose -r + 5*r + s = -4*h, -76 = 2*r - 4*h. Which is bigger: -31 or r?
r
Let u = -621 - -751. Let p = u + -131. Which is bigger: p or -143?
p
Let j = 9223 + -9220. Which is smaller: j or 23?
j
Let d = -735747/46124 - -1659/104. Which is bigger: 1 or d?
1
Suppose 4*l + 0*l - 28 = 0. Suppose -5*u = -l*u + 4. Let q = -35 + 56. Is q <= u?
False
Let n(z) be the second derivative of -z**3/6 + z**2 + 7*z. Let o be n(2). Suppose -39*a - 6 = -36*a. Is o at least as big as a?
True
Let s = -5161.27 + 5161. Which is smaller: 94 or s?
s
Let n = -168 - -167. Let b be 30/(6/n) + 48. Is 47 at least b?
True
Suppose -317*m = -331*m - 14. Is -2/3701 > m?
True
Let v(c) = -156*c - 1600. Let b be v(-21). Which is smaller: 1677 or b?
b
Let r = -4360 + 3149. Is r less than -1?
True
Let j(a) = 81*a - 43*a - 134 - 45*a. Let v be j(-18). Which is smaller: v or -35/4?
-35/4
Let t = -8480 + 8480. Do t and 11/93 have the same value?
False
Suppose 0 = -5*v + 5 - 0. Let z be (11/(-2))/(22/792). Let f be (-1)/((-1)/3) - (-616)/z. Which is smaller: v or f?
f
Suppose -78*a - 201*a - 40*a + 417571 = 0. Is a greater than 1315?
False
Suppose 0*i - 28 = -7*i. Let f be (i + -2)/(8/(-12)) + 21. Suppose 72 = 5*d + w, 2*w + 0*w = 5*d - 81. Which is smaller: d or f?
d
Let v(w) = w**3 - 42*w**2 + 393*w + 277. Let f be v(27). Suppose 5*i - 3*x = -225, 2*i + 3 = -x - 76. Is f at least as big as i?
False
Let v(p) = p + 4. Let m be v(-4). Let j be 66 - 63 - ((-277)/(-957) + (-22)/(-121))*6. Is j greater than m?
True
Let d = -10538 + 10537. Is d at least as big as 6/559?
False
Let z = 7705.9 - 8102. Let m = z + 396. Is 4 less than m?
False
Let a be 12688/(-760) - 96/80. Which is smaller: -19 or a?
-19
Let k = 47875872/25 - 1914731. Let z = k - 304. Suppose -28*f + 18*f + 22*f = 0. Which is bigger: f or z?
f
Let i be -1 - -3 - (3750/116 - -1). Let b = -63/2 - i. Let s = b + -101/87. Is s greater than -2/9?
False
Let n = -2113/3 + 694. Suppose -g + 25 = 4*g. Let k be ((-2)/5)/(g/125). Which is bigger: n or k?
k
Let x be 15387/75555 + 3/(-45). Let j = 6 + -6. Does x = j?
False
Let m(z) = z**3 - 14*z**2 + 38*z - 21. Let j be m(9). Let f = -104 - -21. Which is greater: f or j?
f
Suppose 6*s - 40 = 2*s. Let f = 17 - s. Suppose -4*t + m = -17, -7*m - 18 = -4*t - 5*m. Is t at least f?
False
Let g = -46500 - -46499.9. Let f = 643 + -1090. Is g at most as big as f?
False
Suppose -4*f + 2658 = -3*d, 2 = -3*d + 8. Which is greater: f or 668?
668
Let y(s) = -18*s**3 + 14*s**2 + 11*s + 28. Let n be y(5). Which is greater: n or -1815?
-1815
Let k = 0.37462 - 0.47462. Is 0.649 at least k?
True
Let o be 2 - 4/1 - (-2 - (-1014)/1002). Which is greater: o or 0?
0
Suppose g - 200 + 33 = 0. Suppose -165 + g = -2*q. Is -3/188 at least as big as q?
True
Let t be 2*-1*216/(-48). Suppose h - t*h = 6*h. Is h at most as big as 1/58?
True
Let o = 1/4098 + -459/15026. Which is smaller: 6/19 or o?
o
Let o = 4432 - 4434. Which is greater: -31/75 or o?
-31/75
Let s be (-834)/7089 - (1 - 39/153*7). Is 294 at least s?
True
Suppose 0 = 3*h + 4*l + 623, -2*h + 3*l - 382 = -l. Let i = -121 - h. Suppose -32 = 2*m - 3*p, -m = 4*m - 5*p + i. Which is smaller: -15 or m?
m
Let v be 791/805 + 0 + -1. Let c be ((8 - 8)/20)/((-2)/(1 - 0)). Which is smaller: v or c?
v
Let u be 17 - 20 - -26*9/90. Which is smaller: u or 3/26?
u
Let p = 584083/26 - 22465. Which is smaller: p or -36?
-36
Suppose -3*b - 2*b + 5*n - 10 = 0, -5*b + 4*n - 6 = 0. Suppose 1 = -2*m + 3. Let j be ((-13)/26)/(m/b). Which is smaller: 1 or j?
j
Let v = -273111 + 273100. Let f = -0.2 - 0.8. Is v < f?
True
Let v be (-1215)/(-20995) - 16/104. Let w = v + 9425/57817. Which is greater: -1 or w?
w
Let t(p) = 10*p**3 - 7*p**2 + 11*p + 13. Let o be t(4). Suppose -3003 = 596*a - o*a. Is -275 smaller than a?
True
Suppose -40 = -4*r + 4*x, 6*r = 5*r - 2*x + 4. Let a be ((-18)/15)/(r/10). Which is bigger: 59 or a?
59
Let m = 164.8 - 108.8. Let r = 493/3 + -165. Is r at most as big as m?
True
Let x be -3*1/(-6)*2*149. Let p = x + -151. Suppose 2 = 4*b + 2*z, -5 = 5*b + 3*z + z. Is p smaller than b?
True
Suppose 2*a + 14*a = 16. Let y be (0 - 2)/(a + -3). Which is bigger: y or -4/17?
y
Suppose 294*m + 45 = -249. Which is bigger: m or 33/283?
33/283
Suppose 5*g - 86