aller: f or -7?
-7
Suppose 2*f + 4*h + 17 - 3 = 0, 5*f - 3*h = 30. Suppose 550 = -30*m + 55*m. Is m greater than or equal to f?
True
Let m be 2/4*(-6 + 6)/11. Which is smaller: 4/213 or m?
m
Let a be (7/14)/((-9)/(-6) + -2). Let s = -6967/52 + 134. Is a <= s?
True
Suppose -5*q = 3*h + 265, -26*h + 23*h + 212 = -4*q. Are q and -16 equal?
False
Let i(n) = -1 - 7*n - 3 + 6 + 0*n. Let c be i(-1). Which is smaller: c or 5?
5
Let u = 12 + -54. Let v = -30 - u. Suppose -g = 3*g + v. Which is smaller: -4 or g?
-4
Let v = 0.05 + -0.11. Is v greater than -1/3?
True
Let t be -2*4/28 + 18/14. Let k be (t/3 - 1)*(-18)/(-678). Are 0.1 and k equal?
False
Let l = 18 + -19. Let p be (4/16)/(l/4). Do 28 and p have the same value?
False
Let i = -7.4 + 6.7. Let q = i - -1.7. Is q greater than 18?
False
Suppose -2*i - 201 = -3*g - 4*i, -3*i = -9. Let c = -323/5 + g. Suppose 12*f = 28*f + 144. Which is smaller: f or c?
f
Let j = 0.034 - 24.034. Let b = j + 23.9. Which is bigger: b or -4?
b
Let r = 1580 - 1586. Which is greater: r or 0?
0
Suppose 7*d - 5 = 9. Let z(i) = 8*i**2 - 7*i**2 - 3*i**2 + 4*i + i**d. Let n be z(4). Which is greater: n or -1?
n
Let j be 9996/16860 + (-12)/20. Is j at most -1?
False
Let d = 0.007 + -0.045. Let r = -0.028 - d. Let m = 2.2 - 2. Which is bigger: r or m?
m
Let i = -146/3 + 49. Is -92 at most i?
True
Let k(f) = -3 + 2 + 3*f - 4*f. Let z be k(-5). Suppose 5*y - 3 = 2*y, -l + 5*y = 0. Which is smaller: z or l?
z
Suppose 0 = 5*w + 5*a - 10 - 50, -2*w + 21 = 3*a. Suppose -w = 4*b + 25. Let x be 156/b + (-6)/(-10). Is -16 < x?
True
Let n = -4635 + 60173/13. Which is smaller: n or -7?
-7
Suppose 4*w + 0*c - 4*c + 4 = 0, 0 = -c + 1. Suppose -7*s - 55 = -12*s. Let o = 11 - s. Is w smaller than o?
False
Suppose 3 = -10*g + 23. Suppose -13 = -5*w + g*z, 0 = w - 2*z + z - 5. Which is smaller: -1/5 or w?
-1/5
Let b = 70/13 - 11664/2171. Which is greater: -1 or b?
b
Suppose 0 = -23*f - 19 - 4. Let k = -0.2 - 0.8. Let r = -0.9 - k. Is f at most r?
True
Suppose 0 = 5*h + 22 - 202. Let k = h - 398/11. Is k greater than or equal to -1?
True
Suppose 0*t - 80 = -8*t. Suppose 0 = 2*u + 30 + t. Which is smaller: -19 or u?
u
Suppose -31*r + 2238 = -5*c - 27*r, 4*c + 2*r + 1806 = 0. Which is greater: c or -449?
-449
Let a be ((-2)/(-4)*-1)/4. Let b = 338 - 8123/24. Let g = b - a. Is g less than 2?
True
Let r = 647/5 + -130. Let n = -9 + 11. Let z be (4/(-32))/(1/n). Is z < r?
False
Suppose 4*c - 182 = 3*h, c + 1 = -5*h + 35. Which is smaller: 38 or c?
38
Let d be (-2)/12 - (-5863)/35970. Which is bigger: d or 1?
1
Let f = 11.12 - 11.82. Is -0.13 != f?
True
Let p(j) = -j**3 + j**2 - 1. Let n be p(-1). Let b = -72 + -95. Let t = b - -506/3. Which is bigger: t or n?
t
Suppose -28*j + 22*j = 0. Is j at least -7?
True
Let v = 1179 - 717. Which is greater: v or 0.2?
v
Suppose 71*t - 70*t + 204 = 0. Which is smaller: t or -611/3?
t
Let h = 228/5 - 46. Let t = -0.05 + 0. Is t at least as big as h?
True
Let l be (1/2)/(-3 + (-33)/(-12)). Let b = 282/11 - 2311/88. Which is greater: l or b?
b
Let r = -10 - -8.3. Let t = 233 - 234. Is r greater than t?
False
Let r be ((-56)/6)/(-2)*(-201)/(-8978). Is -1 bigger than r?
False
Let g be 108/(-30) - -3 - (-2247)/(-5). Let r = g + 4042/9. Which is bigger: 0 or r?
0
Let t(m) = 3*m - 6. Let r be t(3). Suppose 0 = 8*z - r*z. Which is smaller: z or -1/49?
-1/49
Let v be -3 - -1 - (2 - 10). Let p be ((-10)/30)/(1/v). Let x be (-16)/72 - p/9. Is -2/21 at most x?
True
Suppose -3*v + 2576 = -1120. Let j be (-1)/(-7) + (-64)/v. Let u(t) = -t**3 - t + 1. Let d be u(1). Which is smaller: j or d?
d
Let v(d) = -13*d - 9. Let i be v(-1). Suppose -14 + 38 = -i*m. Which is smaller: -32/7 or m?
m
Suppose -4*p = v - 176, -5 = -2*p - 4*v + 83. Which is greater: 42 or p?
p
Let j = -289 - -393. Is j smaller than 104?
False
Let g be (-69)/5 - (5 + (-192)/40). Is -12 at most g?
False
Let h = 227/6 + -24313/642. Is 0 at least as big as h?
True
Suppose -2*i - 478 = -4*i. Let l = i + -5018/21. Suppose 0*b = -2*b + 2. Which is smaller: b or l?
l
Let x(s) = s**2 - 7*s + 7. Let t = 15 - 9. Let b(o) = o**2 - 6*o + 5. Let l be b(t). Let u be x(l). Which is smaller: u or -6?
-6
Let k = -106 + 182. Let w = k + -77. Which is smaller: w or -1/55?
w
Let o = -4.3 + -5.7. Let m be (-6)/15 - ((-17)/5 + 4). Is m smaller than o?
False
Let i = -117.838 + -0.162. Let v = -120.1 - i. Which is bigger: v or -0.1?
-0.1
Let z = -12.379 - -13.04. Let s = 0.039 + z. Which is greater: s or 1/4?
s
Suppose -4*c - 56 = -5*r, -36 - 47 = 5*c - 3*r. Which is greater: -6 or c?
-6
Let x = 0.1854 + -1.1854. Which is smaller: -71 or x?
-71
Let d be (-98)/(-4) - (-30)/(-20). Which is greater: 89/4 or d?
d
Let y = 4 + -29. Let r = y + 25. Suppose -14 = -3*d - 4*k, 5*d + 2*k - 4*k + 20 = r. Do -2 and d have different values?
False
Let w be 5/(-10) - (-55)/102. Let v = w + 56/17. Which is greater: -0.4 or v?
v
Suppose -2*t - 4 = 3*s, 4*t + 5*s + 6 = -0*t. Let m be ((-1)/3)/(t/2). Let b = -137/4 + 34. Which is greater: b or m?
b
Suppose 37*f - 77 = -854. Are f and -21 non-equal?
False
Let k = -251 - -484. Let x = k - 1147/5. Is x at least 4?
False
Let n = 2 + -16. Let j = n - -22. Let h = 0 + 8. Is h not equal to j?
False
Let s be (-7 - -7)/((1/(-1))/(-1)). Which is smaller: s or 2/21?
s
Let u(p) = p - p + 3*p + p + 7 - p**2. Let h be u(5). Suppose 4*i + 7 = m - h*m, 4*m + 12 = 0. Is i not equal to -3/13?
True
Let o = -36 + 31. Let b = o + 4. Which is smaller: b or 4/17?
b
Let o = -135 - -95. Which is smaller: o or -42?
-42
Let w = 110 - 108. Which is smaller: w or 19/23?
19/23
Let x = 267 + -2935/11. Let t(f) = 4*f - 45. Let d be t(12). Suppose -n = -d*i - 5*n - 41, -4*i - 4*n - 48 = 0. Is x not equal to i?
True
Let r = -355 + 349. Are r and -75 nonequal?
True
Let h = -0.002 + 5.002. Let r = h - 6. Is r <= -3/8?
True
Suppose -3*y - 5*v - 14 = 0, -14 - 2 = 4*y + 4*v. Let d(l) = 12*l**2. Let b be d(1). Let a be 6/(-21) - b/7. Which is smaller: y or a?
y
Suppose -5*w = 5*w - 20. Let j be (1 - (-2 + 3)) + 2/w. Let s be 1 + 1 - 3/2. Which is bigger: s or j?
j
Let x(o) = -o**2 - 5*o - 5. Let c be x(-4). Let y be 2 - c - (5 + -5). Let j = y + -6. Is -4 > j?
False
Suppose -17*l = 64 + 140. Which is greater: l or -56?
l
Let z = -22 - -34. Suppose -z*n + 10*n + 12 = 0. Let p = 5 - n. Which is smaller: p or -4/13?
p
Let h = -79/56 + 730/7. Let y = h - 103. Let k = -32 - -33. Is k greater than y?
True
Suppose -14*g + 32230 = 41*g. Is g < 585?
False
Suppose -m = f + 8, 4*m = 10*f - 5*f + 13. Let x(o) = -o**3 + 3*o**2 - 2*o. Let p be x(2). Which is bigger: p or m?
p
Let q = 12 - -4. Let p be 39/(-65) + q/10. Is p smaller than 1/11?
False
Let m = -0.0818 + -0.0182. Is m at least as big as -18.3?
True
Let p(j) = 4*j - 2*j + 25 - 5. Let g be p(-13). Which is smaller: -5 or g?
g
Suppose -27*v + 348 + 138 = 0. Which is smaller: 179/10 or v?
179/10
Suppose 2*z = -2*z + 32. Suppose -4*y + 4*l - 8 = 0, 3*l - z + 2 = y. Is y less than or equal to -1/5?
False
Let w = 0.62 - 0.67. Let x = w + -18.95. Is x smaller than -0.1?
True
Let m be (-1 - (-3 - -2))*1 + 1. Let w be ((2/(-14))/m)/((-19)/38). Let b be 0*(1/2)/(-1). Which is bigger: w or b?
w
Let c be -4*2*15/(-24). Suppose y + 5*q + 7 = -c, 4*q = 4*y. Let l = y - 11. Which is bigger: -14 or l?
l
Let s = 12 + -13. Let w = 11 + -17. Let x be (-5)/w - 2/6. Which is bigger: s or x?
x
Let m = -0.05 - -4.05. Let q be 9/(-2) - 39/78. Are m and q unequal?
True
Let a = 53 + -54. Let m be (4/(-12))/(a/3) + -27. Which is bigger: m or -27?
m
Suppose -15*v + 17*v = -52. Let r = v - -53/2. Is 10 at most r?
False
Let m = 404 - 409. Let j = 0 + -6. Is m less than or equal to j?
False
Suppose -3*b = s - 26, -b + 2 + 24 = -4*s. Suppose -b*n + 7*n = -36. Suppose 0 = 3*z - n - 3. Is z greater than 9/2?
True
Let q be 3/58*2200/4620. Which is smaller: -1 or q?
-1
Let k be (-4 - -22)/(-6) + -16. Let y(o) = o - 11. Let a be y(-6). Is a at least as big as k?
True
Let a = -227 - -2499/11. Let n = 39 + -119/3. Is n less than or equal to a?
True
Let c = -8 + 11. Let w = -2 - -25. Let x = -20 + w. Do c and x have the same value?
True
Suppose 5*u = 4*u - 28. Let k be ((-552)/u + -4)*-7. Let t be 222/k + (-12)/66. Is -2 greater than t?
True
Let l = 4 + -4. Let j(f) = -f**3 - 8*f**2 