 10*p - 5*p - 81. Is 231/13 at least m?
True
Suppose 0 = -3*x + 1 + 5. Let d be (6 + -12)*x/(-16). Let v = 623 + -621. Is v at most as big as d?
False
Let c = -10.5 - -10.5. Let t = -0.015 - -24.015. Let m = t - 24.03. Is c equal to m?
False
Suppose 4 = 4*g, -2*g + 6*g = -3*i + 1. Let h(r) = 142*r**2 + 6*r + 3. Let u be h(i). Is u != 0?
True
Let z = 93.2 + -75.2. Is z smaller than 74?
True
Let u be 7573/3 - (-376 - -391). Which is smaller: 2508 or u?
2508
Let t be (-168240)/(-18720) - (-11)/(-6). Is t less than 8?
True
Let w be (29/261)/(2 - 0). Let x be 8 + (3 - 7) + 50/(-10). Which is smaller: x or w?
x
Let s(w) = w**2 + 30*w + 61. Let m be s(-27). Which is bigger: m or 17/3?
17/3
Let j(d) = 312*d - 655. Let y be j(2). Does -87 = y?
False
Suppose -m + 5 = -6*m. Let u = 37 + -37.493. Let b = 0.523 + u. Which is bigger: b or m?
b
Suppose -42530 = 25*q + 11008 + 3437. Is q greater than -2287?
True
Let a be 3*-2*(-2)/4. Let c be -8 - (-27)/(162/60). Suppose 5*x + c = 5*q - 8, -x + a = 0. Does 12 = q?
False
Suppose 5*y + 2*g + 25 = 226, 4*g = -3*y + 115. Suppose -4*a + 66 = 43*q - y*q, -4 = 4*q. Suppose 6*x - 65 = x. Is a at least as big as x?
True
Let u = 0.252 - 0.052. Let i = 2908.27 + -2909. Which is smaller: i or u?
i
Let a be 4/(-3)*((-25)/5 - -2). Suppose m = -4*m + a*m. Is 2/661 < m?
False
Let n(j) = 3*j**3 + 21*j**2 - 275*j - 1924. Let a be n(-7). Is -2/20899 less than or equal to a?
True
Let s be (-213)/(-71)*(-11 + -2). Which is greater: -51 or s?
s
Let q(l) = 0*l**2 - 8*l + l**2 + 5*l + 0*l**3 + l**3. Let m be q(-3). Suppose -44*h + 121 = -52*h + 41. Which is smaller: m or h?
h
Let n be 1/2*-68 + 6 + -2. Let l = 345/2 + -203. Let p = n - l. Do 2/3 and p have the same value?
False
Let r = 32 + -87. Let p = 35 + r. Let t be 78/(-10) + p/(-25). Are -45/8 and t unequal?
True
Let i be (1 - 6405/(-12))*22/(-33)*2. Is -714 at most as big as i?
True
Suppose -6*b - 4*x = -3*b - 1322, 5 = x. Is 431 at most b?
True
Suppose 0*p - 5*o = -p - 22, -o = 4*p + 151. Suppose -4*t = -5*m + 158, 4*t = 3*m - m - 56. Let i = -70 + m. Is p smaller than i?
True
Let c(d) = d**3 + 9*d**2 + 2*d + 3. Let s be c(-9). Suppose 0 = -17*j + 25*j + 8. Let b(t) = 15*t**3 - 2*t**2 - 4*t - 1. Let x be b(j). Which is bigger: x or s?
x
Let t be (-176)/4 + -2 - -8. Let c(j) = 18*j + 9. Let n be c(8). Suppose 0 = w + 3*o + 52, 4*w + 0*o + o + n = 0. Which is bigger: t or w?
w
Let a = -17263 - -17270. Which is smaller: -0.1394 or a?
-0.1394
Let l = 5068 + -5067.3. Is -1.1 less than l?
True
Suppose 6 = -0*s + 3*s. Let f = 576 + -1059. Let c = f - -482. Is c at most s?
True
Let w = -121 + 122. Let s = 15 + -28. Let b = 16 + s. Which is smaller: b or w?
w
Let l be ((-5)/(-15))/(-1) + 8/6. Let m be 4/16 - 47/(-4). Is m equal to l?
False
Let x be ((-1)/(-1) - -1) + 2. Let j = 140 + -28. Suppose h + b = x*h - 82, -4*b - j = -4*h. Do -1 and h have the same value?
False
Let d be 5 - ((100/35)/10 - (-52)/14). Is d at least as big as -3/179?
True
Suppose 20 = -4*m + 2*s + 8, m + s + 9 = 0. Let j be (-129)/4 - (m - (-114)/24). Let l be (2/j*-15)/((-3)/2). Which is greater: 1 or l?
1
Let b be -8 + -111 - (-8 + 3). Let c be (16/(-4))/(-16) + b/(-24). Suppose 2*h + 2*s - 6*s - 6 = 0, 2*s = 2. Is c > h?
False
Let t be -5 + (-1)/((-134)/(-1501818934)). Let a = t - -11206665. Let u = a + 944. Which is bigger: u or -1?
u
Let y = -24.152 + -184.16. Let g = -0.312 - y. Is 1 > g?
False
Suppose -18 = -14*b - 4*b. Let j be (b/(-88)*-11)/(1/8). Let n = 5.15 - 5. Which is bigger: n or j?
j
Let n = -77384267/1552 + 49861. Which is smaller: -1 or n?
-1
Let h = -0.7601 - 0.1089. Let d = h - -0.169. Is d not equal to -0.2?
True
Suppose -4*l = -u, 5*u + 0*l = -l. Let q(b) = -3*b + 28. Let c be q(10). Let i be 104/(-806)*c/4. Is i greater than or equal to u?
True
Suppose 5 = -4*j - 5*p, -3*j + 0*p = -p - 1. Suppose -4*a + 82 = -b + 2*b, -5*b - 4*a + 474 = j. Is 98 bigger than b?
False
Let x = -115 - -68. Let k = 7432 - 7477. Which is greater: k or x?
k
Let w = 0.3916 + 3.6084. Suppose 0 = -0*s - 4*s - 36. Let t(i) = i + 16. Let h be t(s). Which is smaller: w or h?
w
Let q = 63 + -43. Let a = -1391 + 1391.1. Are a and q nonequal?
True
Let c = 13 - -12. Let m be 3 - (c/4)/((-3)/(-36)). Do m and -73 have the same value?
False
Suppose l - 3 = y - l, 5*y = l + 3. Let r = 6352 - 235016/37. Do r and y have different values?
True
Let b be (-15)/3 + 4 - (-13)/1. Suppose -1485 = 4*n - 5*i + 1906, 0 = -4*i + b. Let d = -9264/11 - n. Is d <= 3?
True
Let j(o) = o**3 - 7*o**2 + 64*o - 167. Let u be j(14). Is 2097 <= u?
True
Suppose -3*t - 143 = -i + 6*i, 5*i = 3*t - 137. Let r be (-152)/6 - (-4)/(2 + 10). Which is smaller: i or r?
i
Suppose 0 = -8*z + 7*z + 3*c - 28, -3*z + c - 84 = 0. Let s be (-12)/9*8/z. Which is bigger: -1 or s?
s
Suppose -3*h - 4547 - 3941 = 5*b, 5*b = 20. Is h != -2834?
True
Suppose 35*y - 30*y = -860. Let x = y - -514/3. Is x bigger than -100/9?
True
Suppose 4 - 8 = 2*q. Let r be (310/15 - q)*(-21)/(-70). Is 7 less than or equal to r?
False
Let h be (1/295)/(-1 - 0). Suppose -3783*v + 3874*v + 91 = 0. Is h at least v?
True
Let p = -26959.7 + 26960. Which is greater: 5.583 or p?
5.583
Let g = -6/131969 + -1507085902/1715597. Is -879 less than or equal to g?
True
Suppose 5*j + 215 = -2*f, 2*j = f - 5866 + 5789. Suppose 2*i - 28 = u, -3*u + 6*u = -5*i - 128. Is u > j?
True
Let z(v) = v**2 + 5*v + 4. Let h be z(-6). Let d = -10 + h. Let g = 278/1035 + -2/1035. Is d at most as big as g?
True
Let f be (1 + (-187)/(-2))/(21/56). Let g = f - 266. Does g = -14?
True
Suppose 0 = -3*z - 6, 7*v - 6*v - 36 = -2*z. Suppose 5*d + v = -2*j + d, -5*d = 4*j + 68. Which is smaller: -10 or j?
j
Let r = -15.9739693 + -0.0260307. Let w be 4/(-10)*1/3. Is w greater than or equal to r?
True
Let t(q) = -q**2 - 5*q - 7. Suppose z + 2*x - 6 = -14, 0 = 3*z + 2*x + 12. Let s be t(z). Which is smaller: s or -3/79?
s
Let v = -36189/388 - -373/4. Suppose 0 = -29*n + 58*n. Are v and n unequal?
True
Let l = -149 + 158. Suppose -37 = l*b + 359. Let i be b/(-12) - 3 - 229/(-3). Is i greater than 77?
False
Let t(i) = -103*i + 18. Suppose -3*u = -u - 2. Let w be t(u). Which is greater: w or -86?
w
Suppose 4*x - 109 = -5. Suppose 5*d - 580 = -5*o, -2*d - 3*o = -108 - 126. Suppose r + r + 3*g - 39 = 0, -2*g + d = 5*r. Which is smaller: x or r?
r
Let j = 78 - 315/4. Let s(z) = 106 + 11*z + 1081*z**2 - 1082*z**2 + 12*z. Let a be s(27). Which is bigger: a or j?
j
Let u be (-2 - -3) + 4 + -4 + -2. Which is smaller: u or -8/1007?
u
Let f be (-1)/(0 + (-10)/762). Let q = 76 - f. Let r(g) = 5*g + 30. Let a be r(-6). Which is smaller: a or q?
q
Let o = -275 + 235. Suppose -5*s - 170 = -5*x, 4*s = -20*x + 18*x - 160. Which is smaller: o or s?
o
Suppose -8*o + 1402 = -5*o + s, 924 = 2*o - 2*s. Is o > -2?
True
Let l = -319545/2 - -10149068747/63522. Is 0 at most l?
True
Suppose 18 = 6*x - 6. Suppose x*z + 275 - 11 = 0. Which is bigger: z or -199/3?
z
Let a = 791 + -310. Let r = a + -464. Is -1/6 bigger than r?
False
Let c be -2847*(-5 - (-230)/45)*3. Let g = -35111/37 - c. Do g and -1 have the same value?
False
Let q be (6/81)/(((-6)/(-2))/(-9)). Let u = -24.9 - -22. Let k = -1.1 + u. Which is smaller: q or k?
k
Let r be 2/(-4)*(-4)/1. Suppose 2*v + r*v + 3*g = 47, 27 = 4*v - g. Let s be 4/v*-4 + -2. Is s equal to -1?
False
Let y = -22 - -88. Suppose y + 54 = 4*v. Let n = -31 + v. Which is smaller: 25 or n?
n
Suppose 3*v - 94 = 59. Suppose -14*t + 10*t = -8. Suppose 3*d - v = d - i, i + 41 = t*d. Are 0.1 and d non-equal?
True
Suppose -2*t - 2 = -p, -4*p + 6 - 11 = 5*t. Suppose 12*a + 46 + 2 = p. Let i = -311/4 - -74. Is i bigger than a?
True
Let w be 52*((-25)/10 - 1). Let j = -174 - w. Suppose 8 + 2 = o + 3*p, 0 = 3*o - p - 30. Is o bigger than j?
True
Suppose -14*u + 3*y = -9*u - 279, u + 4*y = 42. Suppose u = 25*r - 43*r. Which is smaller: -6 or r?
-6
Let z = 15.79 + -208.69. Let m = -194 - z. Which is smaller: m or 2?
m
Let m = 10101 - 10733. Is m at least as big as -630?
False
Let k = 6 + 0. Suppose -k*c + c = -35. Suppose 177 + 303 + 144 = 104*p. Which is smaller: c or p?
p
Let m = -4978 - -4977.9. Which is smaller: -0.435 or m?
-0.435
Let k = -18508 + 18212. Which is bigger: -260 or k?
-260
Suppose -97 + 465 = -2*a. Let q = -127 - a. L