r -100/73?
o
Let h be 4/20 - (-19097)/(-33540). Let d = 5/258 + h. Is d equal to 1?
False
Let n = -34748/3 - -11582. Let l = -1 + 1. Is l less than n?
False
Let b = -568 - -353866/623. Let a be (-1 + 0)*2/(-2). Which is smaller: a or b?
b
Let z = -2/4643 + 10776/3459035. Let l = z + 1408/30545. Which is smaller: l or -6?
-6
Let w be ((-7)/2 - -3) + 25/10. Suppose w*o + 3*n - 9 = 4*n, -3*n - 11 = -2*o. Suppose o*k - 9 = -5*d, 0*d - 8 = -5*k - 3*d. Is k equal to -3?
False
Let a be 4 + -6 + 5 + 292/(-92). Let f = a + 182/253. Are 1 and f unequal?
True
Let c(d) = d + 39. Let b be c(3). Let o be (-82)/(-96)*1 + 14/b. Which is smaller: 1 or o?
1
Suppose 0 = -5*p - 0*p - 95. Let x(z) = 14 - 66*z**2 + 0*z - z + 62*z**2. Let k be x(-3). Do p and k have the same value?
True
Let k(t) = 20 - 29*t + 55 - 10*t. Let y be k(3). Suppose -2*r + r - 41 = 0. Which is smaller: y or r?
y
Let w = -3660/11 - -365791/1100. Which is smaller: w or -1?
-1
Suppose -4*t = -2*c + 4814, -5*c - 79*t = -81*t - 12003. Is 2401 at least c?
True
Let c be (-5)/(4125/365) - (-4)/(-30). Let z = -1/11 + c. Let w = -63.3 - -11.3. Which is bigger: w or z?
z
Let m = -959 + 953. Let q be ((-3)/18)/(1/40) - m. Which is smaller: q or 6.7?
q
Let p = 273.87 - 5.87. Let z = 267.9 - p. Which is smaller: z or 0.088?
z
Suppose 4*u - 12 = -28. Suppose -1 = -t + 33. Let w = 31 - t. Is u less than or equal to w?
True
Let s(c) = -1. Let m(f) = f**2 - 2*f + 25. Let t(l) = -m(l) + 2*s(l). Let n be t(-7). Which is greater: n or -88?
-88
Let l = -6 - -41. Let x be 2/(-7) - (-185)/l. Let v be -2*(-42)/48 + 2. Which is smaller: x or v?
v
Suppose -6*d + 47 = 35. Let z(c) = 12*c**2 - 5*c + 9. Let v be z(d). Is 47 less than or equal to v?
True
Let b be -3 + -383 + 4/(-4). Which is smaller: -10 or b?
b
Let o be (-48)/27 - (-10 + 1288/126). Which is bigger: o or -87/59?
-87/59
Suppose 2*x = -3*n + 8*n - 530, x - 4*n = -265. Let m = x + 265. Is m at least as big as 18/7?
False
Suppose 0 = 7*g - 2*g + 90. Let o = -99 - -162. Suppose -64*n + o*n - 16 = 0. Is g bigger than n?
False
Let p be (16/4)/(-4)*6/21. Let a = -8.7 - 1.5. Let n = -0.2 - a. Is p < n?
True
Let h = 475/5649 - -3/269. Suppose 41 = 3*m - 4. Let n = m - 14. Is n at least as big as h?
True
Let h = 0.8143 - 2.8143. Which is smaller: 861/17 or h?
h
Let r = -85/24 + 73/24. Does r = -1522?
False
Let a(b) = 2*b**3 - b**2 + 3. Let i(q) = -2*q**3 + 2*q**2 + q - 2. Let h(y) = -2*a(y) - 3*i(y). Let k = -22 + 26. Let n be h(k). Is n smaller than 51?
False
Let l = 50863 - 63120987/1241. Is 0 greater than l?
True
Suppose b + 4*b = 5*w, 5*w + 5*b - 20 = 0. Let d = w + -3/2. Suppose 126*i = 2*i + 565 - 193. Is d greater than i?
False
Let a(x) = 15*x - 490. Let j be a(32). Suppose 4*f - 2*f + 6 = 0, f + 58 = -5*w. Which is bigger: j or w?
j
Let d = -2.085 + 23.085. Is 257 at least d?
True
Let t(f) = -103*f - 3250. Let u be t(-30). Which is smaller: -163 or u?
-163
Suppose 2302 = -8*k + 382. Let c = -239 - k. Which is greater: c or 0?
c
Let m = 7368 - 7368. Which is greater: 1/8993 or m?
1/8993
Let r = 0.248 + -0.2937. Let l = r + 127.0457. Is l != -0.2?
True
Let i = 1870.39 - 1870. Is i less than or equal to 167?
True
Let x = 10691 - 4009127/375. Is -1 != x?
True
Suppose -41*d + 45*d - 3*r + 26 = 0, 0 = -2*d + 4*r - 28. Let x(t) = t - 8. Let j be x(5). Which is greater: j or d?
d
Let u = -1065281/159 - -6700. Which is smaller: u or -1?
-1
Let y = 108650 - 331723/3. Is y less than -1925?
False
Suppose -17*m + 13897 + 2066 = 0. Suppose 14*y - 3011 + m = 0. Is 147 < y?
True
Suppose 0 = -4*r + 4*k - 64, 14 = -r + k + k. Let i be (r/(-20))/(-4 - 1467/45). Which is bigger: i or 1?
1
Let b = -33280/3 - -11093. Is 568 less than b?
False
Suppose 1970 = 4*i + 390*i. Which is bigger: -1 or i?
i
Let q = -11.2 + 88.2. Let u be (-105)/(-2793) + (-8)/28*4/8. Does q = u?
False
Suppose 62 + 26 = 11*t. Let h(m) = 3*m + 7. Let a be h(-6). Let o = a + 20. Is t smaller than o?
True
Let d be -3 - (-24)/(-5247)*73*-9. Let i = -138141/5830 - d. Let b = 24 + i. Which is smaller: b or 1?
b
Let w = -4653.92 + 4654. Let r = -15.2 + 27.28. Let a = w - r. Which is greater: 2/3 or a?
2/3
Suppose -4*l - l - 40 = 0. Let a = -59628 - -59619. Which is smaller: l or a?
a
Let h be (5/(-3) - 1875/225)/(-10). Let t be (-4)/14 - 2/(-7). Are h and t equal?
False
Let a = 123853/53 - 2337. Let s = a - -77/159. Is s less than -23?
False
Let l be ((882/189)/(8/51))/(1/(-4)). Is l smaller than -121?
False
Suppose 0 = 3*v - 6*u - 4407, 5*v + 5*u + 234 = 7534. Is v <= 1462?
False
Let m be ((-3)/12 - 5)*(-92)/6. Let c = m - 79. Is c < 3?
True
Let u = 139581/10 + -27555/2. Let y = 181 - u. Is 25 at least y?
True
Let z = -13/3649 + -363249/463423. Which is greater: 2/3 or z?
2/3
Let s = 30.7 + 8.3. Let q = -5.1 + 44.1. Let z = s - q. Which is smaller: z or -0.1?
-0.1
Let j(h) = -h**3 + 14*h**2 + h. Let v be j(14). Let w(i) = i**2 - 10*i - 54. Let g be w(v). Suppose -l + 4*l = g*l. Is l < -3/13?
False
Let u(c) be the third derivative of -c**6/120 + c**5/12 - c**4/24 - 79*c**2. Let a be u(2). Which is smaller: a or 89/9?
89/9
Let a be 532/63 - 4 - (-44)/(-11). Let u = 6.93 + 0.07. Does a = u?
False
Let m be (-4 - -4)*12/(-24). Is 50/307 smaller than m?
False
Let o = -3537 - -2981. Is o bigger than -559?
True
Suppose -5*h + 4*h - 440515 = 0. Let z = -3077883/7 - h. Let p = 820 - z. Is p <= 3?
True
Suppose -2*v + 24 = v - 4*l, 4*l - 4 = -4*v. Suppose -v*j = -4*g, -13*j = -10*j - 4*g + 1. Is j smaller than -2/241?
False
Let b = 13154.524 - 13114. Let l = -0.624 + b. Let z = l + -40. Which is smaller: 1/13 or z?
z
Let u(d) = -d**3 - 29*d**2 + 19*d - 331. Let v be u(-30). Let b(j) = j**2 + 3*j - 12. Let o be b(5). Let n be -4 + (144/o)/2. Which is smaller: v or n?
n
Let a = -6432 + 6395. Which is smaller: a or 23?
a
Let x(y) = y**2 + 22*y + 21. Let u be x(-1). Suppose 0 = 27*m - 30*m - 60. Let o be (-207)/(-732) + 5/m. Does u = o?
False
Let m = 3/794 + 775/215174. Is 2/11 > m?
True
Let i = -0.06074 + 113.06074. Which is smaller: i or 0.3?
0.3
Let a = 433 - -80. Suppose -6*w - 561 + a = 0. Which is bigger: -9 or w?
w
Let c(t) = -t + 2. Suppose 10*u + 7 = 87. Let j be c(u). Let b = 18 - j. Which is bigger: 2 or b?
b
Let u be 6489/90 + 10/25. Let y = u - 71. Which is greater: 24 or y?
24
Suppose -u = d - 53, -d + 2*u + 122 = d. Let c = -55 + d. Suppose -2*q = -4*q + c*x - 46, -54 = 2*q - 4*x. Are q and -18 equal?
False
Suppose f - 19 = 3*h, -5*h - 6 = 2*f + 11. Let w be (-8)/(-3)*(h + -1). Let y = 19 + -34. Which is smaller: w or y?
w
Let r = 4468 - 7084. Let n = r + 2634311/1007. Is 0 smaller than n?
False
Let d(o) be the second derivative of o**5/20 - 3*o**4/4 + 2*o**3/3 + 22*o**2 - 228*o. Let b be d(8). Which is greater: 14 or b?
14
Let q = -30 + 32. Let p be -10*(q/10 + -3). Suppose -23 + p = -5*k. Which is greater: 2/137 or k?
2/137
Let n(z) = 147*z**3 + 5*z**2 + 19*z + 22. Let f be n(-3). Is -3958 greater than f?
True
Let x = -127 - -1269/10. Let y(a) = a**3 - 6*a**2 + 6*a - 1. Let z be y(5). Let k be (-119)/(-105) + z/(-30). Is x not equal to k?
True
Suppose 0 = 3*q + 4*x - 16, -x = -4*x + 12. Let h be (-28)/161*(15 - q). Which is smaller: h or -3?
-3
Let b be ((-2)/4)/((-1)/2). Let h be (-70)/6 - (-4)/20*-5. Let n = -125/12 - h. Is b greater than n?
False
Let j = -4346 - -4345.5. Which is bigger: -227 or j?
j
Let b = -28 + 48. Let c be 328/(-6)*-5*3/(-10). Let p = c + 82. Which is smaller: p or b?
p
Let x = 10.042 - -1688.958. Are -0.6 and x non-equal?
True
Let u be (-9)/12 - (-1149)/(-4). Let v = 286 + u. Suppose 5*n = -31 - 39. Do n and v have the same value?
False
Suppose -2*d = -2*a - 4, -5*a = -2*d - 16 + 8. Suppose t + 15 = 3*k, -3*t = d*k - 3*k - 15. Which is smaller: 6/65 or t?
t
Let k = 5588 - 5800. Which is greater: -1898/9 or k?
-1898/9
Let k = 2789 - 2882. Let p be (6 - -56)*(-3)/2. Is k not equal to p?
False
Suppose 2*a = 2*q - 10, 3*q = q + 8. Let l be (30 - 33) + (1 - a). Are -5/41 and l unequal?
True
Suppose 8 = -4*a - 4. Let n be a/(-6) - (-1 + (-2)/(-4)). Suppose -5*j + 3*p - 7 = 0, -3*j - p - 17 = -6*p. Is j not equal to n?
False
Let x = 29 + -26. Let r be x + (3/(-5))/(5/25). Suppose r = -3*m + 3*k - 7*k + 5, 9 = 4*m + 3*k. Which is smaller: m or 20/7?
20/7
Let i be -6 - -440*(-12)/(-884). I