alse
Suppose 111*m - 4210 = 101*m. Let f = -422 + m. Is f equal to 51?
False
Let h be 4 + ((-11900)/424)/7. Let f = -656/105 - -98/15. Which is greater: h or f?
f
Suppose 0 = -90*f + 29670 - 6810. Which is bigger: f or 250?
f
Let d be (-6)/(-1) - 1*(-104)/(-8). Let b be ((-36)/(-30))/((-3)/(-100)). Suppose y - b = 6*y. Is d at least y?
True
Let d = -0.43 - -0.02. Let o = 6191.59 - 6238. Let t = d - o. Is -2/3 at most as big as t?
True
Suppose 3*a + 52 = 3*u + 34, -4*a = -2*u + 22. Does u = -10/47?
False
Suppose 23*t - 206 = -850. Let a be (t/(-10))/((64/(-10))/(-8)). Which is smaller: 4 or a?
a
Let n(m) = m**2 - 21*m + 37. Let u be n(19). Let o be (u - (-246)/255)*55/22. Which is bigger: 3 or o?
3
Let o = -2/41 - -49/164. Let f(s) = 2*s**2 + 17*s - 72. Let p be f(-17). Suppose -16*y - p = -9*y. Is y at most as big as o?
True
Let c(q) = -14 + 30*q**2 + q**3 - 14*q**2 - 14*q - 2*q**3. Suppose -2*r = -r - 15. Let p be c(r). Is p >= 1/41?
True
Let z = -59/3 + 817/42. Suppose -2877 - 1605 = -9*x. Let l = x - 497. Is z at least as big as l?
False
Suppose 7 = y + 79. Let k(u) = -54*u + 197. Let x be k(5). Is y bigger than x?
True
Let l be (-20)/30*(42/(-49))/((-8)/1526). Suppose -r - 39 - 65 = g, -3*r - 308 = 4*g. Which is bigger: r or l?
r
Suppose -15*z + 10*z + 15 = 0, -z = -5*d + 227. Which is smaller: 22 or d?
22
Let r be (-1 - (-4 - 0))/(12/(-4884)). Let z = -20745/17 - r. Let x = -2/51 + z. Do 0.6 and x have different values?
True
Suppose -25*j = -6*j - 95. Suppose 3*o + v = 86, 5*v = 2*o - j*o + 106. Suppose -5 = 2*i + 3*i, f - 31 = 4*i. Is f bigger than o?
False
Let r be 5/(-153)*(-12)/(-15). Suppose -91 + 85 = 4*v - 2*c, -3*c + 9 = -v. Is v less than r?
False
Let c(i) = 18*i**2 + 4*i - 6. Let b be c(1). Suppose -b - 47 = 7*h. Is -11 greater than h?
False
Let q(d) = d**3 - d**2 + 9*d - 1. Let u be q(0). Do -4/3665 and u have the same value?
False
Suppose 4 = -2*z - 4*t, -8*t + 4*t - 8 = z. Suppose 4*p + 5 = z*v + 1, 5*v = -p + 17. Let x = 7595/9 - 843. Which is bigger: x or p?
p
Suppose -9*v - 1230 = -5631. Which is smaller: v or -0.1?
-0.1
Let h be (-4)/(-1) - (68 - 54) - (-43 + 14). Suppose 0 = 3*j - 3 + 15. Let w be ((-2)/j)/(3/108). Is h != w?
True
Suppose 26 = 5*a + s, -a = -5*s + 1 - 27. Let p be (a/(-3) - 0)/(2/(-4)). Let l be 18/(-72) + 125/p. Is 29 bigger than l?
False
Let k(u) = -2*u + 209. Let l be k(61). Suppose 0 = p + 2*n - 95, -9*p + 4*p - 5*n = -460. Which is greater: p or l?
p
Suppose 0 = 74*t - 4*t - 3318 + 3248. Let d be -2 - 1*3048/(-26). Let g = 115 - d. Which is smaller: t or g?
g
Let t = -2659.7 + 2804. Let c = 153 - t. Let w = c - 4.7. Are 1/14 and w equal?
False
Let w = 325592 - 3579120/11. Is 218 less than or equal to w?
False
Suppose 5*y = -5*s - 100, 0*y = y - 4*s + 35. Let u be (9 - -1)*y/5083. Are 0 and u nonequal?
True
Suppose 5*c = 5*n + 5365, 0*c - 2*n + 5330 = 5*c. Let f = c + -19229/18. Is f smaller than 1?
True
Let h = 181 - 106. Let v = -233 + 119. Let g = h + v. Is -40 >= g?
False
Let p = 0 - -3. Let z = 176.1 - 176. Are z and p equal?
False
Let c(r) = 9*r + 26. Let l(t) = -t**2 + 3*t + 2. Let j be l(-2). Let a(h) = h**2 + 10*h + 11. Let q be a(j). Let o be c(q). Which is greater: -20 or o?
o
Let z(f) = 0*f - 11 - 14 - 2*f. Let m be z(-13). Let d = 14 + -63/5. Which is smaller: m or d?
m
Let t = 73 - 71. Suppose -24*w + 22*w = -4. Suppose 5 = -w*v + h + 2, 0 = t*h - 10. Is 2/9 bigger than v?
False
Suppose -4*f = 2*v + 1992, 5*f + 2492 = 95*v - 98*v. Is -5448/11 > f?
True
Let v be -1*(-3)/(-3) + -14. Suppose 0 = -b - 6 + 2 + 7, 5*b + 39 = -3*y. Which is smaller: y or v?
y
Let t = -63 + 80. Let c be 1591/3 + t/(-51). Let s be (2/5)/(-1 - (-522)/c). Which is greater: -27 or s?
s
Let a be (-9)/(-7) - 8/28. Let z = 2 - a. Let b = 1.98911 - 0.98911. Is z less than b?
False
Let m = 231 + -226. Suppose -12 = -4*n, m*n = 2*f - 3*f + 72. Suppose 168 = -3*h + 6*h. Is f smaller than h?
False
Let s(z) = -16*z**3 - z**2 - 14*z - 12. Let t be s(-1). Suppose -4 - 12 = -a. Is a <= t?
True
Suppose -2313 + 4874 = 22*h - 2939. Is 249 not equal to h?
True
Let v(h) = 32*h**2 + 7*h + 7. Let l be v(-1). Let u(w) = w**3 - 32*w**2 - 1. Let n be u(l). Does n = -13/8?
False
Suppose 2*m + 3*i = 5*i + 14, 5*m - 44 = -4*i. Suppose 2*f = -m*c + 6*c - 116, -5*c = -2*f + 255. Which is greater: c or -52?
-52
Let i be ((-210)/132)/((-1800)/864). Let x be (-3)/((-2)/((-4)/(-3))). Is x greater than i?
True
Let w be (-2835)/2106*(-4)/10. Which is smaller: w or 2?
w
Suppose -74 = 6*r - 4*r. Let a be -31 + -303 + -2 + 7. Let j = a - -291. Is j > r?
False
Suppose -4*i = p + 1, 5*p + 4*i - 1 = 42. Let v be ((-13)/(-4))/((-1)/(-3)). Which is smaller: p or v?
v
Let c be (712/(-168))/(46/161). Which is greater: c or 11?
11
Let q be (7 - (-14626018)/(-2072840)) + (-4)/(-70). Is -1 > q?
False
Let i be (88461/(-236280))/(-3) - -12*9/(-864). Do i and 1 have different values?
True
Let x be (6/(-4))/(24/240). Let l be (-2)/(x/6 + 2). Let c be 2*(l + 30/(-8)). Which is greater: 0 or c?
c
Let z = 205 + 44. Let b = z + -254. Is -14/3 greater than b?
True
Let q be 76805*10/50 - (5 - -5). Which is smaller: 15352 or q?
q
Suppose -11*y - 15 = 3*y - 1. Which is greater: -228/103 or y?
y
Suppose -20*o + 638 = 58*o + 5006. Which is smaller: o or -42?
o
Suppose 5*v + 10 = 4*k - 5, 5*k - 5*v = 20. Let j be 7 + (k - 5)/(-2). Is 70/9 at most as big as j?
False
Let k be 240/168 - (-39138)/63. Are k and 623 unequal?
True
Let f = -2/829 + 2579/38134. Let m be 4/(-2) - (-4 + 3). Which is bigger: m or f?
f
Let c be (-102)/(-8) - 27/36. Let p be c*4/16 - 276/10. Which is smaller: -25 or p?
-25
Let g = -181 + 286. Suppose -g = -4*r + 59. Let i = 33 + 8. Are i and r equal?
True
Let l(q) = -q**3 - 14*q**2 + 17*q - 10. Let h be l(-15). Let d be 32/(-128) - 34/h. Is d greater than or equal to -0.11?
True
Let x be 30/240*((-6)/(-27) + 616/(-828)). Suppose 2*k - 1 = -3. Which is greater: k or x?
x
Let v be ((-1821)/(-42))/(3/2). Let q = -29 + v. Suppose 4*h = -3*y - 1, 5*y = 2*y - 3*h. Which is greater: q or y?
y
Let h = 0.128 - -2.672. Let x = -2.9 + h. Which is bigger: x or -13.7?
x
Let o be (-2 + 0 - -2)/(-1) + 1155 + -1149. Which is smaller: o or 123/22?
123/22
Suppose -8961 = 58*t + 29*t. Which is greater: -101 or t?
-101
Let l be (-88)/5 + 2/(-5). Let p be 39/(-6) + 3/2. Let k be p/((-30)/(-6)) + -15. Which is smaller: l or k?
l
Suppose -j - 66 = -5*x + 419, 2*x = j + 194. Let r(y) = y**2 + 28*y + 44. Let d be r(9). Suppose -20*c - x = -d. Which is bigger: 12 or c?
c
Let c = 1.82 - 0.91. Let l = -0.01 + c. Which is smaller: l or -0.3?
-0.3
Let m = 110 + -113. Let q be 5 + -5 + (m - 44/20). Let a be 9/2*8/(-6). Is a at most q?
True
Suppose 0 = -7*l + 17 - 3. Suppose -5*k = 5*y + 5 - 0, 0 = -l*k + 5*y + 5. Let w = -131/6 - -437/20. Which is greater: k or w?
w
Let s(f) = -f**3 - 32*f**2 + 7*f + 106. Let z = -679 + 647. Let a be s(z). Which is smaller: -117 or a?
a
Let x = 614 + -615. Suppose 5*w = 6*w + w. Let z be (-10)/(-13) - (w - -5)/5. Which is greater: z or x?
z
Let a be (-3 - 110/(-25)) + (-2)/5. Let o be (1/3)/(1*a/(-15)). Let y = -7 - -4. Is o bigger than y?
False
Let v = -87.3 + -3.7. Let w = v - -59. Let k = w - -25. Is -2 < k?
False
Let k = -4335 - -4343. Is 59/7 < k?
False
Let k = -6.33 + 4.42. Let w = k + 2.21. Which is bigger: 1.7 or w?
1.7
Let q be (-3683)/87 + ((-49)/(-21) - 2). Which is bigger: -78 or q?
q
Let b = -212 + 487. Let p be 20/110 - 1645/b. Is p less than -5?
True
Let y = 174265/6 + -28980. Let k = 64 - y. Let f = -221 + 221.2. Is f >= k?
True
Let d = -493 - -492. Suppose 0*x - 5*x = -40. Let z be ((-1)/2)/(d/6) - x. Do z and -5 have the same value?
True
Suppose d - 38 = 3*d. Suppose -z = 2*r, 0 = z - 2*r - 11 + 3. Let i be ((-8)/z - -1)/(-1). Which is smaller: i or d?
d
Suppose -126*t + 240 = -118*t. Suppose t*q - 793 = 107. Which is greater: 26 or q?
q
Let z = 0.829 - -469.171. Let q = -470.134 + z. Which is bigger: -1/2 or q?
q
Let s(k) = -5*k + 7. Let l be s(4). Let g be (-10 - l) + 47/(-5). Let u = -113 + 107. Which is bigger: g or u?
u
Suppose 51*w - 48*w = 6*q + 36321, 5*q + 30270 = 2*w. Which is greater: q or -6058?
q
Suppose 5*v = i - 25 - 23, -3*v + 6 = 0. Suppose i*p + 434 = 51*p. Which is smaller: -63 or p?
-63
Let o = 26160 + -26160.