- 120. Is r equal to i?
True
Suppose 0 = -88*n - 121*n - 12 + 221. Do 16/1293 and n have different values?
True
Let y(v) = 202*v - 1732. Let l be y(-15). Which is greater: 0.1 or l?
0.1
Suppose -3*j = 4*t + 266, -5*t + j + 122 = 445. Let c be 24/(-44) - (-21)/((-231)/698). Which is greater: c or t?
c
Let t be (-7371)/(-3381) - 18/6. Is t != 0?
True
Let d be 1/6 + 4/18. Suppose -10*p - 114 = -104. Which is bigger: d or p?
d
Let d(u) = -20*u - 35. Let v be d(4). Let y = -105 - v. Which is greater: y or -1?
y
Let a(m) = -139*m**2 - 14*m + 20. Let f be a(10). Let i be (-2)/12 - f/(-120). Let n be 281/i - -1 - 10/65. Which is smaller: -2 or n?
-2
Let h = 694 + -693.95. Let d = 333434/7 + -47719. Let m = -86 - d. Which is greater: h or m?
h
Let a = 598 + -25716/43. Let g be (-99)/55 + (-32)/(-40). Which is smaller: g or a?
g
Let y be 2 + (-8)/(-3)*-17. Let o = -31856/735 - y. Suppose 6 = 11*d - 5. Is o greater than d?
False
Let c be 7/((-147)/(-72)) + 2. Let p = 106548 + -106544. Is p not equal to c?
True
Let b = -0.34753 + 0.09753. Which is greater: -352 or b?
b
Let t be -4 + 9 - (-2 - -7). Suppose -r + 3 = l + l, -l = 2*r + 3. Let s be ((-6)/8)/(l/5). Which is smaller: t or s?
s
Let m be (32/(-3))/((-12)/18). Suppose -m = -4*n - 0. Let d = -3/164 + 1321/492. Which is bigger: d or n?
n
Let k be ((-1)/(-4))/(39650/(-520)). Suppose 3*q = -3*a - 15, 2*a = 2*q + 3*a + 6. Are q and k nonequal?
True
Let t(h) = h**3 + 3*h**2 - 10*h - 15. Let l be t(0). Suppose 0 = 3*q - 2*q. Is q bigger than l?
True
Let d(t) = -15*t**2 + 137*t + 3. Suppose -18*w - 4*w = -198. Let i be d(w). Is 104/5 less than i?
True
Let p = 74.986 + 0.014. Let h = -24 + p. Let s = -48 + h. Do -1/12 and s have different values?
True
Let v = 311 - 309.9. Let h = -68.1 + v. Which is smaller: h or -0.1?
h
Let j = -122 - -222. Let v be j/30 - 4 - 1/(-3). Let w be 2 - (-1)/2*-6. Which is smaller: v or w?
w
Let h = -11720205/869 - -13487. Let y = -1816/33891 - h. Which is bigger: -0.1 or y?
y
Suppose 44 + 176 = -5*i. Let m = i + 51. Suppose m*b + 12 = 33. Is b bigger than 20/7?
True
Let b be (-5187)/(-84) - 1/(-4). Suppose -2*y - 11*r - 12 = -6*r, 0 = -2*y + r. Which is smaller: y or b?
y
Let q be (-52 - 0)/((152/(-260))/(-2)). Let b = q + 178. Which is greater: -0.006 or b?
b
Suppose 2*d = -3*x - 3831, 5*d - 3*x + 7092 = -2496. Is d less than -1917?
False
Let f = 191393/4657132 - 37/892. Is f != 1?
True
Let k be (-11)/99*255/(-55). Is -0.1 not equal to k?
True
Let k = 114 + -102. Suppose -21*y + 25*y - k = 0. Suppose 3*p + 3 + 6 = -y*j, -9 = 3*p. Which is smaller: j or -1/85?
-1/85
Let i = -233 + 275. Let m be -1*12/i*(-2 + -47). Does 15 = m?
False
Let o = -22161.9 + 22162. Which is smaller: o or 321?
o
Let u = 134 - 136. Let d(b) = 4*b + 124. Let z be d(-12). Which is greater: z or u?
z
Suppose 5*k + 3*t - 1229 = 0, -k + 986 = 3*k + t. Let q be (k/4)/13*-4. Is -14 at most as big as q?
False
Let i = 2/8743 - 2010896/26229. Let t = -74 - i. Which is smaller: t or 3?
t
Let c be (-28)/(-168) + 5261/(-210) + -1. Let b = c + -64871/140. Let s = -397263/812 - b. Is -1 at most s?
True
Let x be 65/(-117)*54/990. Let k = -2 + 1. Is x at least k?
True
Let s = 258145 + -258122. Let y = 2 + -1. Which is smaller: s or y?
y
Suppose -4*g + 2 = -10. Let o be 0/(g/(3/2)). Let l be (-76)/(-330) + (-2)/10. Which is smaller: l or o?
o
Let m be (-4606)/(-196)*(1 - -21). Let p = m + -517. Let d = 2282/11 + -208. Which is smaller: d or p?
d
Let k(q) = -4*q**3 + 10*q**2 - 8*q - 14. Let h(l) = -103 + 46 - 11*l**3 - 24*l + 29*l**2 + 16. Let a(j) = 3*h(j) - 8*k(j). Let c be a(5). Is -0.037 < c?
False
Suppose -v - 4*p = -28, 6*v + 28 = 5*v + 4*p. Is -93/121 less than v?
True
Suppose -u + 3*u - 123 + 133 = 0. Is u at most -94/15?
False
Let y = -97 + 101. Let r be ((-4)/y - -4) + 9/(-1). Is -3 not equal to r?
True
Let o = 334 + -240. Let v = o - 2348/25. Are v and 1 equal?
False
Suppose 5*h - 2*h + 3 = 0. Let l be 125/220 + 24/132. Which is smaller: h or l?
h
Let w = -56601 - -396204/7. Suppose -j + 0 = 1. Let u be -2*(-6)/(-16) - j. Which is smaller: w or u?
w
Let f = 4.44 + 0.56. Let t = f - 6. Let z = -14 + 14. Which is greater: z or t?
z
Let x be 2/(4*(-6)/(-1968)). Let c = -164 + x. Which is bigger: -1/221 or c?
c
Let i(b) = 2*b**3 + 11*b**2 - 10*b + 32. Let p be i(-7). Is p bigger than -44?
False
Let l(a) = -6*a - 8. Suppose -n + 3*d - 6 + 1 = 0, -5*d = -4*n - 27. Let c be l(n). Suppose 1840 = f + 45*f. Is f at least as big as c?
True
Let d = -15311 - -1301399/85. Let q = 2032/3995 + d. Is -1 at most q?
True
Let l be (-170)/(-872) + (-6)/24. Let m = l - -1136/16677. Is -1 > m?
False
Suppose -5*y + 8*y - 12*y = 9594. Is y at least -1066?
True
Let x = -10.8 - -78.8. Let b = 67.87 - x. Which is smaller: -2/7 or b?
-2/7
Let f = 121.05 - 121. Let k = 5/3 - -2. Which is bigger: k or f?
k
Let j = 80 - 54. Let y = 27 + -19. Suppose 0 = q - 4*d - 29, q - 36 = 3*d - y. Do j and q have the same value?
False
Suppose 49*g - 58*g - 27 = 0. Let v be 8/g + 19/(133/14). Let d = 0.37 + -0.11. Is v less than or equal to d?
True
Suppose 4*g - 3*l = 0, 0*l = 3*g + l. Suppose g = -4*x + p - 11, -3*x - 2*x + p - 14 = 0. Let q = -425 + 417. Is x bigger than q?
True
Suppose -2*r = -t + 5*t - 4, 4*r = 3*t + 41. Suppose 3571 = 19*p - 1065. Let n be p/30 + 20/100. Which is smaller: r or n?
r
Let n = 61/4 - 5067/332. Which is greater: -5/3 or n?
n
Let j(d) = 3*d**2 - 50*d - 18. Let f be j(17). Which is smaller: f or -4/373?
f
Let m(j) = -3*j**2 + 272*j + 594. Let y be m(93). Is -0.23 less than or equal to y?
False
Let q = 5 + -6. Let p = -2 - q. Let n = -1.3637 - -7.5637. Are n and p equal?
False
Suppose 2*h - 12 = 4*h + 4*q, -5*h - 30 = 3*q. Let w be 1*h - (-23 + 17). Which is smaller: w or -5?
-5
Suppose 5*n + f = 6*n + 21, -3*n + 2*f - 67 = 0. Let r be 12/(-10)*(-7)/((-28)/40). Let p be 7*(r/4 + 0). Which is greater: n or p?
p
Let b be -4*(-22)/(-220)*-182. Do b and -0.03 have the same value?
False
Suppose -1444 - 726 = 14*i. Let c = 1083/7 + i. Are c and -189 non-equal?
True
Let i = -0.2 - -0.4. Suppose 2898*u + 1606 = 2920*u. Is i >= u?
False
Let d(o) = o**2 - 7*o + 26. Let z be d(5). Suppose 10*f = -2*k + 15*f + 20, 2*k - 4*f = z. Which is smaller: 15/38 or k?
k
Suppose -2*s + 5*s - 3*a = 612, a = 5*s - 1008. Suppose s*h = 196*h - 20. Let o = -11 + 6. Which is bigger: h or o?
h
Suppose 0 = -166*g - 207*g - 291465 + 114290. Is 7 at most as big as g?
False
Let r(m) = -m**3 - 118*m**2 - 107*m - 530. Let h be r(-117). Is h greater than -1700?
False
Let s = 0.21 - 0.01. Let b be (-174)/576 - 3/(-9). Let h = b - 169/288. Which is smaller: s or h?
h
Let c = 2591/2 + -1270. Suppose 3*m + m = 4*k - 44, k - 56 = 4*m. Let r be (-380)/m + 6/9. Is r at least c?
True
Suppose 54 = -3*b + 51, -5*c - 3*b - 8 = 0. Which is smaller: -5/968 or c?
c
Let b be -3 - (8 + (-183)/15). Let k(r) = 81*r + 1 - 79*r - 9. Let z be k(4). Is z != b?
True
Let i be (-6)/4*((-70)/(-3))/7. Let v be 15/(-5) + (-2 - i). Let u be (-46)/(-207) - 4/45*-2. Which is smaller: u or v?
v
Suppose -r + 3010 = 3*o, -256*o + 261*o - 5019 = -4*r. Which is smaller: o or 1004?
o
Suppose 0*c = -4*c + 8. Let m = -6617.39 - -6474. Let k = 143 + m. Which is smaller: k or c?
k
Let k = 14.9 + -3.1. Let y = -43.8 + k. Let w = y - -31.8. Is w greater than or equal to 8?
False
Suppose 0 = -104*j + 77*j - 27. Which is smaller: 7/419 or j?
j
Let x = 6 - 11. Let w(j) = -6*j**2 + 7*j**2 - 1012 + 41*j + 0*j**2 + 928. Let b be w(-43). Which is smaller: x or b?
x
Let x be -7 + (-198)/(-11) + -10. Is x greater than or equal to -16/181?
True
Let v(x) = x**3 - 7*x**2 - 9*x + 9. Let q be v(8). Suppose 0 = -5*d + q + 9. Suppose -g = -0*g - 5*i + 19, g = d*i - 16. Which is smaller: g or -15?
-15
Let d be ((-53)/((-8745)/(-60)))/(10 - 0). Do 1 and d have the same value?
False
Let n(g) = -59*g + 35*g + 27 + 29*g. Let x be n(-6). Let z be (3/261)/(x/(-18)). Are -1 and z equal?
False
Let y = -17 - -7. Let c = -71 - -70. Let j be 392/(-40) - (0 + c/(-5)). Is y > j?
False
Let x = 1304 - 470. Let t = x - 5826/7. Let l = 0 - -2. Which is smaller: t or l?
t
Let m = 1771 - 1772. Do -8.571 and m have different values?
True
Let z = -0.031 - -19.031. Let p = z - 17.1. Let f = p - -14.1. Which is smaller: -1 or f?
-1
Let f(