). Suppose 4*a + m = 5. Is a >= 2/25?
False
Let a be ((-82)/4)/((-17)/34). Suppose -12*n = -a - 7. Is 8 at most n?
False
Let o(l) = -6*l - 42. Let z be o(-7). Is -1/832 bigger than z?
False
Let q be 16/2 + (-4 - -1). Suppose 0 = q*m - m. Let r be (((-120)/(-25))/(-6) - 0) + 2. Which is smaller: r or m?
m
Let q = 254.168 - 254. Which is bigger: q or -2?
q
Let t = -303 - -302.8. Is t not equal to -93?
True
Suppose h - 10 = -4*n, -8*n - 50 = -5*h - 9*n. Is h greater than or equal to -0.3?
True
Let p(z) = -2*z**2 - z. Let b be p(-2). Let w = 54 + -59. Let u be 2/(20/w)*10. Is b at least u?
False
Let p = 0 + 7. Let v = p + -7.1. Let n = 34 - 133/4. Is n bigger than v?
True
Suppose 0 = -3*i + 2*i + 13. Suppose 688 = 35*s + 198. Is s less than or equal to i?
False
Let u = -2/529 + 1681/24863. Let b(c) = -c**2 + 31*c. Let o be b(31). Is o less than or equal to u?
True
Let g be (6/3 - 29)/(-1). Let l be (-18)/4*-4*(-9)/(-6). Is g != l?
False
Suppose 3*n - t + 38 = 0, -t - 4 = 2*n + 13. Which is greater: n or -14?
n
Let x(h) = 2*h**3 + 23*h**2 - 2*h + 23. Let k be x(-12). Which is smaller: -95 or k?
k
Let i be (-9)/54 + (-13)/(-6). Let m(g) = -1 - 3 - 1 + g**i - 5*g. Let v be m(5). Is v < -4?
True
Suppose -20 = -4*x - 16*x. Let t = 700/117 + -46/13. Which is greater: x or t?
t
Let g = -1609/36540 - 1/2436. Which is smaller: -1 or g?
-1
Let l(c) = 15*c - 4. Let f be l(3). Suppose -f*j - 8 = -45*j. Which is greater: j or -5?
j
Let q = -0.37 + -4.63. Let z = q - -7. Which is bigger: 0.08 or z?
z
Let b = -51 + 51.2. Is -49 equal to b?
False
Let s = 587559/10 + -58894. Let p = s + 138. Suppose 3*h = -0*h - 3. Are p and h non-equal?
True
Let c be (-3 - 2 - -8) + -540. Is c greater than or equal to -536?
False
Suppose -3*i - 40 = 2*s - i, -5*s - 112 = 2*i. Which is smaller: -126/5 or s?
-126/5
Let u = -15 + 17. Let a(k) = -k**2 - 3*k + 3. Let f be a(u). Which is smaller: f or -5?
f
Suppose 5*h + 20 = -l + 15, 0 = -2*h + 2*l - 2. Is 342 equal to h?
False
Let w be 224/(-6) - (6 - 64/12). Which is bigger: -40 or w?
w
Suppose -4 = -t - 3*t. Let p be 9/(-21) + (-62)/(-14). Let n be p/(-1) - 510/(-135). Is t less than n?
False
Let f = 0.626 + -0.6647. Let m = f + -2.1313. Let b = m + 0.17. Which is bigger: b or 4?
4
Let c be (188/(-126) - -2) + 10/(-45). Is -348 less than c?
True
Suppose 7*q - 2668 = 1784. Is -1 != q?
True
Let t be (0/(-2))/((-2)/(0 + 2)). Suppose 3*a + a + 28 = t. Are -9 and a unequal?
True
Let w = -303/5 - -61. Is w at least -35?
True
Let z(j) = -j**2 + 4*j + 6. Let x be z(5). Suppose 2*q - 2*l - 6 = 0, -5 = -5*q + q - 3*l. Which is smaller: q or x?
x
Let q = 13977 + -14773688/1057. Which is greater: 0 or q?
q
Let m = 571 + -515. Which is greater: m or -1?
m
Suppose -5*x = -t + 25, 4*t - 9*t - 10 = 2*x. Is -0.0516 equal to t?
False
Let a = 2391533/454114 + -495/94. Which is smaller: a or 0?
0
Let t = -71 + 49. Let k be (-6)/t*6/(-9). Is -3/4 less than k?
True
Let d = 269.954 - -0.046. Let h = -297.9 + d. Let i = 28 + h. Is 1/2 >= i?
True
Suppose 44*s = 42*s + 18. Let h be (-872)/(-30) - s/(-15). Which is smaller: h or 31?
h
Let s = -396 - -380. Does s = -17?
False
Let t = -165 + 1215/8. Which is smaller: -13 or t?
t
Let f be 1 - 4 - (-17 + -11). Suppose 3*t + 11 + f = 0. Let v(m) = -m**3 + 3*m**2 + 6*m + 7. Let d be v(5). Which is smaller: t or d?
d
Let q(u) = 67*u - 31. Let o be q(1). Which is smaller: 5 or o?
5
Let k(u) = -23*u**2 - 5*u - 5. Let b be k(3). Which is smaller: b or -226?
b
Let z be -15 + 8 - 53/(-15). Do -4 and z have different values?
True
Let a be (-3)/(-2)*-2 - 10. Which is smaller: a or -29?
-29
Let n be 1/3*1647/(-305). Which is bigger: 5 or n?
5
Let j(x) = -11*x - 14. Let m(v) = -17*v - 21. Let u(s) = -8*j(s) + 5*m(s). Let f be u(-8). Let t = f + 25. Are t and 7 equal?
False
Suppose 0*p = -p + 9. Let t = p + -9. Let g(k) = k**2 + 1. Let o be g(t). Which is smaller: o or -2/35?
-2/35
Let r(b) = b + 5. Let s(g) = -g - 6. Let p(y) = 3*r(y) + 2*s(y). Let q be p(-3). Suppose 4*n - 5*n - 5 = q. Is -2 at most as big as n?
False
Let m = 2318 + -296707/128. Is -1 < m?
True
Let z(h) = -h**3 + 13*h**2 - 4*h - 9. Let u be z(11). Is u less than or equal to 190?
True
Let r(k) = k**2 + 10*k + 12. Let o be (-1)/(((-10)/16)/(-5)). Let z be r(o). Suppose -5*t - 2*h + 3 - 11 = 0, -1 = t + h. Which is smaller: z or t?
z
Let x be (-100)/(-135)*-3 - (-26)/117. Which is smaller: -7/10 or x?
x
Let u be 1/(-4)*(11 - 7475/689). Which is bigger: -1 or u?
u
Let b(n) = 3*n**3 - 5*n**2 + 2*n - 8. Let o be b(2). Is 21 >= o?
True
Let v = -1188 + 20188/17. Does -1 = v?
False
Let y be (2377 - 0)*(-14)/98. Let k = -339 - y. Which is bigger: k or 3/5?
3/5
Suppose 0 = 2*o + 2*w - 4, -o - 3*w = -3 - 5. Let k be 3/(-3)*o/(-4). Which is smaller: k or 0.2?
k
Let v = 0.727 + -0.527. Is v < 184?
True
Let i be 1*(6 - 2/1). Suppose 7 = -3*p + i. Which is greater: p or 4/39?
4/39
Let d be (2/(-3))/((-5)/15). Let i be ((-4)/(-6))/(2/(-6)). Let a be -1*(-2)/4*i. Is a at most d?
True
Let m = 33 - 17. Let f = -16.2 + 6.2. Let t = f + m. Which is smaller: t or 2/5?
2/5
Let q = 381 - 381. Is q greater than or equal to -3/293?
True
Let f be 1675/(-20) + (-3)/12. Which is smaller: f or -82?
f
Let a(n) = -n**2 - 8*n - 7. Let m be a(-6). Let q(i) = i**3 - 5*i**2 + 3*i + 5. Let h be q(m). Let g = h + -18. Is 2 smaller than g?
False
Let m = -545 + 574. Which is bigger: 26 or m?
m
Let q be -12 - (3 - (1 + -1)). Which is smaller: q or -13?
q
Let k = -512230430855/4404 + 116310271. Let c = k - 5/367. Which is smaller: c or 1?
c
Let v be (1 - 9)*(-2)/4. Let q = -64 - -62. Which is smaller: v or q?
q
Let b(q) = -2*q**3 + 34*q**2 - 1. Let f be b(17). Which is smaller: f or 37.5?
f
Suppose 0 = 4*y - 61 + 9. Suppose -4*x = 5*n - 177, -3*n = -2*x - 80 - y. Let b = -32 + n. Which is bigger: b or -0.14?
b
Suppose -1 = -4*m + 3. Let r be (m - -3)/4 + (8 - 0). Is r smaller than 10?
True
Let i = -31/83 + -2035/996. Let c = i - -8/3. Which is greater: 2 or c?
2
Let j(x) = x**3 + 5*x**2 - 3*x - 15. Let t be j(-3). Suppose 3*g = t, 0 = z - 5*g - 8 + 28. Which is bigger: z or 2?
2
Let y = 2599/2 - 1304. Is -1/22 smaller than y?
False
Let u(c) = 2*c**3 + 6 + 2*c**3 + c**3 - c**2 - c - 6*c**3. Let z be u(-3). Is z greater than or equal to 27?
True
Let d = -4203737/693 + 6066. Is d != 0?
True
Let o = 64 - 113. Let c = o + 50. Which is smaller: 1/22 or c?
1/22
Suppose -b + 5*p + 18 = 0, 3 = 2*b - 2*p - 9. Suppose -13 = -5*i - b. Which is smaller: 3 or i?
i
Suppose 2*h = 6*h - 16. Suppose 5*m = 8 + 2, 5*b + h*m - 18 = 0. Which is greater: 4/3 or b?
b
Suppose 8*v = 19*v + 3377. Is v bigger than -309?
True
Suppose 4*s = 5*o - s + 20, 2*o + 6 = s. Suppose 2*b + 6 = 4*b. Let v be (b/(-21) + 0)*6. Which is bigger: o or v?
v
Let p(f) = -f**2 + 10*f - 9. Let q be p(9). Let a = -66193 + 596522/9. Let b = 87 - a. Which is smaller: q or b?
b
Suppose -9*b + 12*b = 21. Suppose -2 = -b*x + 5. Let v be 0/(-2*1*1). Which is bigger: x or v?
x
Let q(m) = m**3 - 6*m**2 - 9*m - 2. Let a be q(7). Let o be -16 - ((-8)/(-4) - 1). Which is bigger: o or a?
a
Let j = 1080 + -16201/15. Suppose -5*p + 2 = 7. Which is smaller: j or p?
p
Let b be (87/18)/(3*1/111). Let q = 178 - b. Which is smaller: q or -2?
-2
Let t = 0.39 + 15.61. Let d = 15 - t. Let u = 6 - 7. Is d less than u?
False
Let b = 4.9 + -5. Let v = -0.127 + 0.074. Let d = 0.043 + v. Is d less than b?
False
Let f be (-64922)/2541 - 2/(-21). Which is greater: f or -24?
-24
Suppose -10*w + 373 = 43. Which is smaller: 31 or w?
31
Let y = -268/133 + 4429/133. Let j = y - 1717/56. Which is greater: j or 2?
2
Let z = 17.65 + -18. Let g = z - -0.38. Is g != -2/5?
True
Let q be (-8)/(0 - 2) + (-15 - -15). Let u be (-21)/42 + 6/q. Are u and -6/41 equal?
False
Let q(t) = -t**2 - 12*t + 108. Let m be q(-18). Which is bigger: m or 2/799?
2/799
Suppose 0 = 4*z - b, -2*b = -z - z. Suppose 2*m = 4*d - 136, 4*d - 1 = 3*d. Let t be (-12)/m*1*(0 + -1). Are z and t non-equal?
True
Suppose c = 3*h - 26, -230 = 5*c + 16*h - 11*h. Which is bigger: 1 or c?
1
Let k = -1 + 11. Let m be (8/(-10))/(6/30). Let x = 6 - m. Do x and k have the same value?
True
Suppose 0 = 4*u + 16, 2*b + 27 - 9 = -4*u. Let p = -7340/17143 - 1/2449. Which is greater: p or b?
p
Let f be (15 + -25 - -5)*86/(-2). Whi