7 = 12219 - 2632. Suppose 2*z = -z - 213. Is h at most as big as z?
True
Suppose -62*f + 67083 = 4463. Is 1010 equal to f?
True
Let z = -16783774/171 - -98151. Is 0 > z?
False
Let b be -12 + (-651)/(-56) - (-421)/1016. Is b at most as big as 1?
True
Let u(g) = 15 - 3*g - 22 - 8. Let p be u(-7). Suppose -30 = 8*a - p*a. Which is greater: -1 or a?
-1
Suppose -2 - 28 = -2*n. Let s = 546920/9 - 60754. Which is bigger: s or n?
n
Suppose 0 = -a + 2*a + 3*b - 1596, -a + b + 1612 = 0. Which is smaller: 1612 or a?
a
Let x be 187/(-935)*(-6670)/3. Is 445 < x?
False
Suppose 2 = c + m - 2, 2*c + 4*m = 12. Let b be 0/(-4*(-1)/c) - -6. Suppose -b*q + 2 = -4*q. Is q at least as big as -1/60?
True
Let l = -59.75 - -3.75. Let x = 16 - 33. Let h = -17 - x. Which is smaller: l or h?
l
Let m = 6399 + -9069. Is -2670 equal to m?
True
Suppose 0 = q - 3, 4*q + 1753 = 3*a + 376. Suppose -3*w + w + a = -5*m, -m - 2*w = 95. Is m <= 0?
True
Let w(v) = -v + 1. Let a = -56 - -55. Let d(g) = g**3 + 13*g**2 - 5*g - 7. Let k(r) = a*d(r) - 6*w(r). Let n be k(-14). Is 43 at most n?
True
Let t be -1*(0/(-19) - 4/(-1)). Let g be 0 + -5 + (-6 - t). Which is smaller: -40/7 or g?
g
Let h = 0.7484 + 1.2516. Which is smaller: h or -6184?
-6184
Let x be 0 + 4/(-10) + 37934/(-65). Let l = 21032368/35981 - 580/3271. Let t = l + x. Which is smaller: 0 or t?
0
Suppose -2*m - 73*p + 72*p = -5186, -2 = p. Is m > 2593?
True
Let x = 47/21 - -47/28. Let c = x + -7/12. Which is smaller: 4 or c?
c
Let u = -6431 + 19294/3. Which is greater: u or 5085?
5085
Let v(a) = 2*a**3 - 5*a**2 + 7*a - 5. Let u be v(2). Suppose -n = -u*s - 9, -3*s + 0*n - 7 = n. Is s < -39/16?
False
Let i = -7700 - -7701. Is i < -149/7?
False
Let p(y) = -256*y**2 + 2*y. Let m be -8*(65/(-200) + (-1)/(-5)). Let g be p(m). Do -253 and g have different values?
True
Let v be 10358502/1372 + 4/56. Do 7548 and v have the same value?
False
Let j = -3 - 5. Let g(c) = 276*c - 54655. Let o be g(198). Which is smaller: j or o?
j
Let g(n) = -n**3 - 31*n**2 - 25*n - 331. Let x be g(-30). Is x at most as big as -483?
False
Let t = 313.1 + -313.1. Which is smaller: t or -65/53?
-65/53
Suppose 4671*f + 1350 = 4656*f. Is f <= -89?
True
Suppose 18 - 208 = 10*w. Let p be w/57*(-10)/(-17). Do p and -1 have the same value?
False
Let z = 100 + -91.8. Let m = z - 9.2. Let t be (9/6 + -1)/(-18). Which is smaller: t or m?
m
Suppose -31*a + 1032 = -11*a - 8. Which is smaller: 365/7 or a?
a
Let x = -1/36219 + -72431/253533. Which is smaller: x or -17.501?
-17.501
Let p = -6931 + 117747/17. Let q = 0.9578209 - -0.0421791. Which is bigger: p or q?
q
Let r be 6/(-33) + 136*6/132. Let z(f) = f**2 - 10*f + 13. Let c be z(r). Let a be 4/32*2*-43. Is c <= a?
True
Let r = -338.63 + 337. Let y = 335.33 - 334. Let s = r + y. Is 0.4 greater than or equal to s?
True
Let w = 10385 + -10385. Which is bigger: w or 1/7837?
1/7837
Let q(x) = x - 18. Suppose -22*n + 19*n = -57. Let r be q(n). Let f be (r + 7)/(-2 + (-7)/(-3)). Which is bigger: 26 or f?
26
Let j = 0.49 + 42.51. Let m = -1.64 - -46.84. Let s = j - m. Is -1 < s?
False
Let f = 0.1921 - 6.1921. Let b = 10.7 + 2.3. Let g = 14 - b. Which is smaller: g or f?
f
Let y be (3*4 - 1) + (-8 - -5). Let d = y + -5. Let s be (-1*(-10)/15)/((-2)/d). Is s not equal to -1/39?
True
Let x(s) = s**3 + 7*s**2 + 5*s + 2. Let g be x(-6). Suppose 0*p - 5*p = -20. Suppose -2*d - 2*d + 48 = 4*b, p*b = 16. Is d at least as big as g?
True
Let o be (12/8)/((-4)/13). Let f(p) = -13*p**2 + 22*p + 4. Let y be f(2). Which is smaller: o or y?
o
Let c = 31 - 31.34. Let r = 7.66 - c. Let l = r - 7.95. Is l > -2/3?
True
Let l = 97 + -94. Suppose 0 = l*q - 6*q + 15. Suppose 0 = -q*o - 114 - 101. Which is bigger: -41 or o?
-41
Suppose 34 - 20 = -4*w + 3*t, 4*w + t = 10. Is w greater than 2/21277?
True
Let w be (-103417)/(-103398) + 5/(-5). Which is smaller: w or 0?
0
Let h be (436 - 1)/(3/2). Let q(z) = 3*z**3 - 52*z**2 - 291*z - 83. Let d be q(22). Which is bigger: d or h?
d
Suppose -8*t + 32 + 80 = 0. Let k be ((-60)/(-70))/(8/t). Is k >= 8?
False
Let k = -5 + 5. Suppose k = 4*u - 3*u - 2. Let c be (-1)/2 + 90/36. Does u = c?
True
Let g = 18540 + -18541. Let k = 555842 - 152857689/275. Let t = -46/11 - k. Which is smaller: g or t?
g
Let s = -5860/7 + 216596/259. Which is smaller: -1 or s?
-1
Let q = 17/12 - -11/6. Let g = q + -83/12. Is g < 0.2?
True
Suppose 137*r = 138*r - 6. Let a be ((-32)/12 + 4)/(8/r). Which is smaller: a or -6/13?
-6/13
Suppose 45*j + i = 43*j - 784, j + i + 391 = 0. Is -2 bigger than j?
True
Suppose 25*d = -16*d + 58097. Suppose -29*j - d = -16*j. Which is smaller: -111 or j?
-111
Let v(w) be the second derivative of w**3/6 - 5*w**2/2 + 2*w. Let f be v(4). Let x = 824770 - 22268786/27. Which is smaller: f or x?
f
Let u(t) = t**2 + 5*t - 1. Let m be u(-4). Let f be m/(45/36) + (-10)/(-3). Which is greater: f or -35?
f
Let t(w) = 40*w**2 + 171*w + 51. Let r be t(-12). Do 3761 and r have the same value?
False
Suppose -4*s - 4*t - 579 = 2973, -4*s - 2*t - 3552 = 0. Are s and -890 non-equal?
True
Let q = 175 + -488. Let u = 314 + q. Which is smaller: u or 2/143?
2/143
Let z = -4753/166430 + 9/374. Is 0.14 <= z?
False
Let f = 0.071 + 30.729. Let t = 46.5 - f. Let n = 0.3 + t. Which is bigger: n or -1?
n
Let l be (17/(204/(-45)))/((-9)/(-4620)). Is -1925 equal to l?
True
Suppose 0 = -s - 2*g - 2409, -9*s = -6*s - 3*g + 7254. Which is bigger: -2416 or s?
s
Suppose 3 = -32*u + 31*u + 2. Is -1/13198 <= u?
False
Let c(p) = -p - 3. Let h be c(-5). Suppose 3*j - q + 61 = 0, 3*j + h*q = 7*j + 84. Let n = 873 + -892. Are n and j equal?
True
Suppose 0 = 2*h + 41 + 53. Let r = h + 48. Which is smaller: -19/11 or r?
-19/11
Let d = -0.07 + 17.07. Let a = 159 - 176.1. Let f = a + d. Which is smaller: f or 0.16?
f
Let y be 1*(-2)/((-592)/1). Suppose 0 = -279*w + 1591*w - 1671 + 416 - 57. Is w smaller than y?
False
Suppose -4*h + 2*z - 24 = 0, 4*z + 431 = 463. Is h <= -44/19?
False
Let g = 5312 + -5313. Are 5577 and g non-equal?
True
Let g = -94 - -94. Suppose 0*m + 3*m = -g*m. Suppose -5*i + 0*i + 2*w + 11 = m, 0 = 2*i + 2*w + 4. Is 4/39 != i?
True
Let n = -464.1 - 75.9. Let d = n - -539. Is -13 greater than or equal to d?
False
Let f = 31512 - 100680838/3195. Which is greater: 1 or f?
1
Suppose 9*j - 4*o = 25, -2*j - 12*o + 8*o = 14. Let k = -0.53 + -102.47. Is k less than or equal to j?
True
Let b = 0.3 - 0.1. Let r = 365307 + -365344. Is r < b?
True
Let c = -3720 - -3684. Which is bigger: c or -28?
-28
Suppose 2532*c + 384 = 2628*c. Let i(y) = y + 4. Let b be i(0). Is c equal to b?
True
Let y(w) = -32*w - 14 + 4*w**2 - 5 - 19 - 5. Let f be y(14). Which is greater: f or 292?
f
Let j be -2 + 20/119*126/12. Let g = 12 - 14. Is g less than or equal to j?
True
Let w(k) = k**2 + 13*k - 7. Let z be w(-8). Let s = -5 - z. Let b = 41 - s. Is b at least as big as 7?
False
Suppose 10 = -5*u - 5. Let d be ((-41)/(-8) + -4)/u. Let m = 23 - 24. Is m smaller than d?
True
Let b be (2 + -2)/(6/(-6) - -2). Suppose 3*c - 9 = b, x + 3*c - 1 = 7. Is 3/154 greater than or equal to x?
True
Let i = -1.41 + 215.41. Let s = i - 214.3. Let n = -3 - 0. Is s at least as big as n?
True
Let y = -36901 - -36916.873. Let c = 15.7 - y. Which is smaller: 0.2 or c?
c
Suppose -11*t = 124 - 729. Suppose 0 = -13*b - 452 - t. Let x be b - (4 + -8 + 6). Which is smaller: -42 or x?
-42
Let d = 6047 - 6047. Which is smaller: d or -1/8481?
-1/8481
Let k(g) be the third derivative of -2*g**2 + 1/10*g**5 + 1/3*g**3 + 1/8*g**4 - 9*g + 0. Let s be k(-1). Which is greater: 6 or s?
6
Let o(g) = -2*g**2 + 86*g - 321. Let w be o(5). Let f = -36 + 97. Which is bigger: f or w?
f
Let r = -21 + 23. Suppose -77 = -2*u + 3*t, r*u + 2*t = -3*t + 101. Which is smaller: u or 85/2?
85/2
Let x = 52.21 - 52. Let w = -34.21 + x. Let d = -28 - w. Which is smaller: 2/9 or d?
2/9
Suppose -1262 + 2525 = 51*n + 1263. Let g be (1/33)/((-741)/18). Which is greater: n or g?
n
Let l be (300/(-48) + 6)*(-8)/6. Is -298.2 greater than l?
False
Suppose 10*q = 33*q. Suppose q = -10*f - 2431 + 211. Is -222 smaller than f?
False
Let u = 276 - 316. Let x = -43.2 - u. Is 0 > x?
True
Let i = 27/61 + -26616/59719. Is 0 less than i?
False
Suppose -4*f - 40 = 32. Let s be 8/(-32) + (-426)/24. Does f = s?
True
Suppos