 f bigger than h?
True
Let l be (-165)/(-12)*6/20. Let x = -125/24 - l. Is x at least -8?
False
Let t be 32/6*180/80. Let l be t*(-3 - -1)/(-6). Which is greater: l or 5?
5
Let r(w) be the first derivative of w**2/2 + 12*w - 2. Let v be r(-12). Which is greater: v or 26/5?
26/5
Let x(y) = -y**2 - 7*y + 7. Let h be x(-7). Let g be (-1*(1 + -3))/h. Which is greater: g or 90?
90
Suppose 2*b + 26*i + 1398 = 22*i, 5*i - 3495 = 5*b. Are b and -698 nonequal?
True
Let f be 9/(-15) - (-9 - (-259)/35). Which is smaller: -1/658 or f?
-1/658
Suppose 3*c = -3*n, 3*n + 5 - 3 = -4*c. Which is bigger: n or -55?
n
Suppose -3*c - 3*m = -6, 10 = -c - 0*c + 5*m. Let f = -7597/29 - -262. Is c at least f?
False
Let h = -27 - -27. Let u = 23 + -22. Are h and u non-equal?
True
Let x(h) = 6*h - 1. Let n be x(1). Suppose -204*d + 171*d = -264. Which is greater: d or n?
d
Let u = 50 + -49. Which is bigger: u or -2/361?
u
Let d(z) = -z**3 + 2*z**2 + 8*z - 5. Let m be d(4). Let c be 16 + 1 - (m - -1). Let v be (3 + 0)*(-35)/(-5). Are c and v non-equal?
False
Let x = -179.2 - -160. Let g = x - -18. Is g at most as big as 0?
True
Let j = -0.1 - -1.1. Is j greater than 23.2?
False
Let g be 3/6*(-54)/3. Let s be (-8)/(-12) + 276/g. Let h be (-11)/s - 1/6. Which is greater: -1/5 or h?
h
Let m = 2816/119 - 163/7. Let x = -4/17 + m. Does x = -3?
False
Suppose 0 + 2 = t. Suppose 4*b + d - 22 = 0, d - 3 = t*b - 11. Suppose -4*i - 14 = -5*i + 2*q, 50 = b*i - 5*q. Do i and 5 have different values?
True
Let l = -423 - -425. Let x = 1.053 - 0.003. Let o = -1 + x. Which is bigger: l or o?
l
Let q be 6*5/(-10) + 7 + -3. Which is smaller: q or 1249?
q
Let q be (553/140 + 1/(-5))*8. Let y = q + 71. Which is bigger: 102 or y?
102
Let w(c) = 2*c**2 + 12*c - 163. Let j be w(-18). Is j equal to 269?
True
Let v = 346 + -412. Is -61 greater than v?
True
Let x = -91.8 - -85. Let p = x + 7. Is p <= 5/3?
True
Suppose -3*z + 4 = 1. Let v = 22 - 28. Let f = v - -4. Which is bigger: f or z?
z
Let u = 1 - -13. Let r = -2629 - -2642. Which is smaller: r or u?
r
Let w = -1733 - -1738. Which is smaller: 3 or w?
3
Let b = 400 - 1220/3. Is b less than or equal to 7?
True
Let y = 28/575 - 12714/237475. Is -1 less than y?
True
Let i = -161/9 + 1010/63. Is i >= 4?
False
Let u(q) = -9*q + 12. Let g be u(1). Suppose -2 = 4*k - 2*t, g*k + 0*k - 1 = -t. Let v be ((-4)/(-90))/((-12)/(-5)). Are k and v non-equal?
True
Let l = 39/116 - 1/348. Let o be (4 + 3)/(-1 + 0). Which is bigger: l or o?
l
Suppose -b + 3*o = -128, -260 = -3*b - 3*o + 88. Suppose 4*r = 3*p - 73, -4*r - b = -4*p - 23. Suppose 0*z - p = -z. Does 23 = z?
True
Let o = 10133/17 + -598. Is -1 >= o?
True
Suppose 5*k - 4 = -4*p, -2*p + 2 = 23*k - 24*k. Which is smaller: 4/149 or p?
4/149
Let r = 1398 + -1398.081. Is r >= 3?
False
Suppose 2*x + 235 = 233. Let g be (3 + -2)/(4 + -3). Is g != x?
True
Let d = -493 + 492.649. Which is greater: 0.1 or d?
0.1
Let l = 0.045 - -0.035. Let r = l - -0.92. Let p = -0.7 - -3.7. Is r < p?
True
Let b be (12 - 4)*2/(-2). Let w = 9 + b. Let v be (w - 4)*(0 - -1). Which is greater: v or -2?
-2
Let n(f) = f**2 - 2*f + 2. Let x be n(2). Suppose p + 12 = -4*d, -4*p - 12 = 6*d - x*d. Suppose -2*y + 1 = j, y - 4*j + 5*j = 0. Which is smaller: y or p?
p
Let b = 12601 - 13218447/1049. Which is smaller: 0 or b?
0
Let l(z) = -4*z - 2. Let d be l(-3). Let n(m) = -2*m**2 - 6*m + 23. Let q be n(-6). Let t = q + d. Which is bigger: -2 or t?
-2
Suppose -3*m = -0*m. Let u be m*(-2)/(-8) + 0. Let y be 22/((-4)/(u - 4)). Is y at least -1?
True
Let x(t) = -2*t**2 + 4. Let h(w) = 3*w**2 - 4. Let i(g) = -3*h(g) - 4*x(g). Let d be i(2). Let l(f) = 2*f - 1. Let m be l(-4). Is m smaller than d?
True
Let v(f) = -f**3 + 5*f**2 - 4*f + 3. Let b be v(4). Let d(p) = -13*p - 62. Let i be d(-5). Is i at most as big as b?
True
Let s be (21/3 - 5) + (0 - 0). Suppose 6*y = 8 - s. Which is smaller: 1/21 or y?
1/21
Let t = -68 + 74. Suppose y - 25 = -3*f, -t*y + 3*y = f - 11. Which is smaller: f or 23/3?
23/3
Let j be (-185)/((-25)/(-5))*-1. Which is greater: 41 or j?
41
Suppose -8 = 33*c - 31*c. Let n be 162/(-21) + c/14. Is n greater than -7?
False
Let h be (-5)/7 + -6 + (-1 - -5). Is h bigger than 2?
False
Let r = -894 - -893. Is r at least as big as 1/598?
False
Let o(s) = s - 6. Let v be o(9). Suppose -4*k + 1 = v*x - 2, 5*k + x + 10 = 0. Let l be (-3)/(-18) + 1/k. Is l smaller than 1?
True
Let i = 643/5 + -6983/55. Which is bigger: i or 2?
2
Let t = -9/23 - -179/46. Which is smaller: 5 or t?
t
Let h = -197.6 - -198. Which is greater: -0.4 or h?
h
Suppose -3*g + 4*b = -b - 23, -15 = 5*g + 5*b. Let s be (20/g)/(-5*(-7)/(-35)). Is -19 equal to s?
False
Let l = -26354/35 + 3842/5. Is l < 16?
True
Let h = -7991/24 + 19202357/57672. Which is smaller: 1 or h?
h
Let m be ((-6)/(-5))/((-240)/(-75)). Which is smaller: 2/15 or m?
2/15
Let q = -0.37 + 0.6. Let o = 0.33 - q. Let p = 199/35 + -27/5. Which is bigger: o or p?
p
Let o = -12963/7 + 1865. Which is smaller: o or 12?
12
Let j = 0.29 + -0.72. Let x = 1.73 + -1.8. Let h = j + x. Is h < -1/2?
False
Let k(g) = 59*g - 2349. Let q be k(40). Suppose 5*u + 43 = 3*i, -5*u = 5*i - 69 + 24. Is q greater than i?
False
Let q = 7.244 - 0.044. Which is greater: -0.3 or q?
q
Suppose l - 2*l - 4*b = 0, 2*l - b = 36. Let o = -34 + l. Is -19 at most as big as o?
True
Suppose -18*k + 396 = -900. Which is greater: k or -3?
k
Suppose 21 = -5*c - 134. Let b = 32 + c. Suppose -9 = -t + 5*p - 3, 2*t - 5*p - 7 = 0. Is t smaller than b?
False
Suppose -5*q - o = -51 + 50, 3*o = -2*q + 3. Which is greater: q or -1/9?
q
Suppose -4*j + 11 = -x, -5*j + 0*x - 2*x + 4 = 0. Let z(s) = s + 4. Let g be z(0). Let w be g/(2*(-15)/(-6)). Is j less than w?
False
Let w be (-2)/7 + (1490/21 - 3). Which is smaller: 68 or w?
w
Let f be ((-2)/10)/(-7 - 30/(-4)). Let x(q) be the first derivative of -q**4/4 - q**3/3 + q**2 - q - 2. Let w be x(-2). Which is greater: w or f?
f
Let c(z) = -15*z + 293. Let o be c(15). Is o < 59?
False
Let h be 3*(-2)/(-222)*(-14)/(-105). Which is bigger: -1 or h?
h
Let s = 1796536/57 + -31519. Let l = s + 3/19. Which is smaller: l or -4?
-4
Let s be (-171)/(-7) - (-5)/(-35). Let x = -1516/63 + s. Let k be 0 - 0/((-4)/2). Which is smaller: k or x?
k
Suppose -4*m + l - 9 = 0, 4*m - 16 = -5*l + l. Which is smaller: -2/1999 or m?
m
Let c be (-9)/(-4)*4/6. Let i(q) = -q**2 + 6*q + 14. Let h be i(11). Let a = h - -367/9. Is a > c?
False
Let s = -237.7 - -237.54. Is -1/12 equal to s?
False
Suppose -4*n = -0*n + 3*u + 7538, 2*n - 5*u + 3782 = 0. Let j be n/(-650) - 9/3. Let q = 14/25 + j. Which is smaller: -2/3 or q?
-2/3
Let f = -1930 - -1929. Which is smaller: 7/54 or f?
f
Suppose 11*b + 6 = 14*b. Let n be (-17)/(-5) - b/5. Let m(d) = -2*d - 9. Let a be m(-6). Is n < a?
False
Let s be ((-3)/15)/(36/(-475)). Let j = 26/9 - s. Is -1 greater than j?
False
Suppose 5*f = 3*o - 630, 5*f - 5*o = -307 - 323. Let p = f + 47. Is p less than -79?
False
Let l = 160 - 160. Is l > -2/13?
True
Let w = -28458098/3 - -19095371602/2013. Let j = -80/61 - w. Let a = j + -175/44. Is a smaller than 2?
True
Let j be -4 - ((-4)/18 + 5128/(-1359)). Which is bigger: j or -1?
j
Let x = 39 - 44. Let h = 3 + x. Are h and -10/9 unequal?
True
Suppose -181 + 49 = -6*c. Let q = c - 1. Suppose 2*w = -w + q. Is 5 equal to w?
False
Let n be -2*(-3 - 32/(-10)). Suppose -j = v + 64 + 1, 20 = -4*j. Let l = v + 57. Is l > n?
False
Let w = -19 - -26. Suppose 0 = 4*m - d + w, -2*m + 1 = -0*d + d. Which is smaller: -5/3 or m?
-5/3
Let w be (-2)/(-8) - 3/(-4). Let z be 0/((w + 1)/1). Suppose p + 13 = -3*p - a, p - 2 = 5*a. Which is bigger: p or z?
z
Let w = -0.0175 + -0.0225. Let t be (-84)/(-21) - (-22)/(-5). Which is smaller: w or t?
t
Let q = -8.2 + -2.8. Let f = -1.3 + -9.7. Let j = q - f. Which is smaller: 7 or j?
j
Let q be (56/(-14))/((-4)/3). Suppose c - q + 1 = 0. Which is smaller: c or 9/7?
9/7
Let n be 7*(-1)/(-7)*-2. Let o be (n/4)/(2/24). Which is smaller: -5 or o?
o
Let t be 8*1*10/(-35)*7. Is t at least -20?
True
Suppose 361 + 443 = 2*j. Does 402 = j?
True
Let f = 435 - 435. Which is greater: 15/17 or f?
15/17
Suppose -30*m = -27*m + 96. Which is smaller: -36 or m?
-36
Let l = 455 + -450. Which is bigger: l or -14/9?
l
Let x be -8 + 570/72 + (-1646)