e 68 = 3*k + q. Which is greater: k or -1/95?
k
Let o = 0.02 + -1.02. Let l = -6.4 - -2.9. Is o not equal to l?
True
Let v be (0 + 1)/((-7)/(-28)). Suppose d + 4*d + 248 = -v*l, 3 = l. Let z be d/65 + 2/(-10). Are z and -1/13 nonequal?
True
Suppose 0 = 5*i - 5. Suppose -4*y = 2*z - 40, 9 - i = 2*y. Is z at least as big as -1?
True
Let n = -38 - -31. Suppose b + 4*q = 14, -b - 3*q + 8*q - 31 = 0. Is n less than or equal to b?
True
Suppose -2*a - 49 = -2*k - 91, 4*a = -k + 74. Are 19 and a non-equal?
False
Let i = 213 - 211. Which is greater: i or 5/4?
i
Suppose -383 = -4*i + l, 2*i + 510 = 7*i + 5*l. Which is greater: 102 or i?
102
Let m be 47*2/420 + (6 - (-616)/(-105)). Let y = -1 - -2. Do y and m have different values?
True
Let c(a) = -a**3 - 8*a**2 - 3*a + 9. Let g be ((-35)/15)/((-2)/(-6)). Let o be c(g). Is -19 less than o?
False
Let g(h) = 13*h**3 + 3*h**2 - 4*h - 23. Let s be g(-4). Which is smaller: s or -790?
s
Let z = -103 + 175. Let q = 55 - z. Is -17 at most q?
True
Let w = 989/3 - 331. Do w and 2/105 have the same value?
False
Let v = -64.0816 - -0.0816. Which is smaller: -1 or v?
v
Suppose 0 = 5*n + 2*s - 4*s - 205, 3*s - 15 = 0. Suppose -1 = -6*h - n. Is h greater than or equal to -5?
False
Let m be (-31)/5 - 23/(-115). Let l(x) = -x**3 - 5*x**2 + 6*x + 4. Let p be l(m). Let v be (-17)/p + 9/36. Is -2 > v?
True
Let u = 9 + -8.1. Let r = -150 + 155. Is r >= u?
True
Let x = -64 + 2. Let s = -63 - x. Which is smaller: -3/7 or s?
s
Let j be 2/5 + 28/5. Let w be 705/(-25) + (-1)/(-5). Let p = 37 + w. Is j < p?
True
Let b be 48/120 + 124/(-35). Is b smaller than -0.1?
True
Let x = 36 + -33. Suppose -x*z - 15 = -63. Which is bigger: z or 15?
z
Let o = -180 + 836.08. Let v = o - 670. Let p = v - -14. Which is greater: -1/2 or p?
p
Let j be ((-12423)/(-492))/((-1)/36). Are j and -911 non-equal?
True
Let z = -9.6 + -1.4. Let w = z - -17. Let q = w - 6.1. Is -11/3 < q?
True
Let r = 54.8 + -14.8. Is r not equal to 3/2?
True
Let x be (-18053)/15820 + 2/5. Let r = x - 1/113. Let f be ((-1)/(-5))/((-3)/(-6)). Is r not equal to f?
True
Let j = -347.97 - -350. Let r = 0.04 - 0.07. Let f = r + j. Is 2/3 not equal to f?
True
Let m(k) = k**3 - 5*k**2 - 5*k - 7. Let u be m(6). Let v = -8 - -6. Let q be ((-6)/(-144))/(v/(-6)). Is q at most u?
False
Let y(k) = k**2 - 12*k + 26. Let w be y(9). Let f be ((-12)/27)/(2/(-2)). Is f at least as big as w?
True
Let v = 4735 - 1652516/349. Which is smaller: 0 or v?
v
Let b = 269 - 8609/32. Let p = -101/160 - b. Which is greater: -1 or p?
p
Let c = -8 + 8. Are -1/155 and c non-equal?
True
Suppose 0 = -19*u + 1361 + 387. Are 93 and u unequal?
True
Let f be 99/22*(-4)/3. Let q be -4 - 6 - (-4 + 1). Is f smaller than q?
False
Let p be (-3)/(9/6)*(-163)/6. Let n = 61 - p. Is 6 >= n?
False
Suppose -3*q + 13 = -5. Suppose 4*h = q*h - 2. Suppose 3*y - 58 = 2*d + 3*d, 0 = -4*y + 4. Which is bigger: d or h?
h
Let q = -11571495485/14010892 + -5/500389. Let u = 826 + q. Are 0 and u equal?
False
Suppose 4*m + 115 - 27 = 0. Let n be m/(-4)*7/((-21)/(-24)). Is 45 at least n?
True
Let f = 592 + -413. Which is greater: f or 177?
f
Let b = 111 + -94.1. Let s = 17 - b. Which is smaller: 0.17 or s?
s
Let c = -76 - -183/2. Are 17 and c nonequal?
True
Suppose -3*x + 143*x - 307 = -167*x. Let t = 160.4 - 29.4. Is t <= x?
False
Let v(o) = o - 2*o**2 + 2*o**2 + 2*o**3 - 6*o**2 + 1 + 4*o**2. Let l be v(2). Let z be (-2 + 1)*(12 - l). Which is smaller: -1/12 or z?
z
Suppose 4*x - 5*x + 5 = 0, 2*z - 344 = -4*x. Is 164 at least as big as z?
True
Let m be (2/3)/((-6)/(-9)). Let c be (-4)/7 - 981/(-1827). Which is smaller: m or c?
c
Let z(j) = j**2 + 9*j - 13. Let r be z(-8). Which is greater: r or -17?
-17
Suppose 0 = 3*s + 18 + 33. Let g = 39 - s. Suppose 0 = -3*d - 4*d + g. Is 8 greater than or equal to d?
True
Let a be 565/3 - 2/6. Let k = -2821/15 + a. Let t(n) = 20*n - 180. Let v be t(9). Is v not equal to k?
True
Suppose -3*c - 2*n + 5 = -7, 3*c - 5*n = 12. Suppose -c*y = -13*y. Which is smaller: y or -4/23?
-4/23
Let f = -49/192 + -5/64. Let j = -107/240 - -5/16. Do f and j have the same value?
False
Let o be (-17)/(-102) - 1533/18. Is 3/5 at least o?
True
Let b = 1.219 + -1.862. Let l = b + 27.343. Let s = 27 - l. Is s equal to -1/3?
False
Let k = 29 - 26. Suppose -4*u - k = -5*u, -12 = -3*f - 3*u. Is 1/2 greater than f?
False
Let g = 7 + 4. Let j = 13 - g. Let f = 50 + -49. Is f at least j?
False
Suppose -4*p + 67 = 7. Suppose -16*h = -19*h - p. Are -7 and h nonequal?
True
Let d = -6.373 - -0.073. Let k = d + 6.41. Are k and -2 unequal?
True
Let m = 26/51 + 405/17. Let b = 13873/570 - m. Are 0 and b non-equal?
True
Let a = -32 - -45. Let f = a + -11. Let p = -0.4 + 0.4. Is f equal to p?
False
Let s be 0/(-5 + 2 + 4). Suppose 2*o + s*o = 4. Which is smaller: o or 0.3?
0.3
Suppose 4*t + 3*o + 25 = 0, -5*o = 5*t - 0*o + 25. Let v(x) = x**3 + 9*x**2 - 12*x - 15. Let c be v(t). Is c <= -2?
False
Let m = 64 - 45. Let c = -17 + m. Is 4 bigger than c?
True
Let u = -182.048 - -182. Do -5/4 and u have the same value?
False
Let q = -799 + 362. Do q and -437 have different values?
False
Let z = -2.3 + 5.3. Is -32 greater than or equal to z?
False
Let w = 453 + -382. Let x be 0 + ((-2074)/30 - 2). Let b = w + x. Is 1 bigger than b?
True
Suppose -21 + 23 = 2*j. Let o be (-8)/3 - 1/3. Let q = -1 - o. Is q at most as big as j?
False
Let u be (12 + -15)*-2*(-27)/(-6). Suppose 0 = 3*s + 2*s. Which is greater: s or u?
u
Suppose -t - t = 5*j - 3, -12 = t - 2*j. Let g be -3*(-1)/6*4. Let y be -6 - (g - (-6)/(-2)). Is t smaller than y?
True
Let d = 0.37 + 151.63. Let i = d - 151.9. Which is greater: i or 15?
15
Suppose 3*y = -41*y. Which is smaller: y or -7/25?
-7/25
Let b = -25 - -23. Let x = 2 + b. Which is greater: x or 3?
3
Suppose -153*c = -156*c - 180. Let k be -3*(c/9)/5. Let o be (-3)/42*72/(-2). Are o and k equal?
False
Let t = -22.59 - -22.37. Which is smaller: 10 or t?
t
Let m be ((-66)/(-385))/(1/5). Let x = -3 - -4. Is m equal to x?
False
Let a = 34 - -38. Let p be (-1)/4 + 90/a. Is 7/4 less than or equal to p?
False
Suppose -w - 3*g - 2 = 0, w - 2*g - 2 = -4. Let t = -5381 - -5379. Are t and w equal?
True
Let m(p) = p + 27. Let y be m(-16). Suppose 5*d = -3*z + 75, 4*d - 2*z - 28 = 2*z. Which is smaller: d or y?
y
Let i(s) = -s**2 + 28*s - 117. Let c be i(7). Is c smaller than 30?
False
Suppose 4*b - 3*r = 33, -47 = -5*b - 2*r - 0*r. Let g be ((-6)/b)/(8/12). Is -14 bigger than g?
False
Suppose 2*g = 3*f + 11, -g + 9 = 2*f - 7*f. Let y be (-2)/40*18/36. Which is greater: y or f?
y
Let l = -33 + 74. Let i = 928 - 888. Which is smaller: i or l?
i
Let d = -59 - -61. Which is smaller: -8 or d?
-8
Suppose 4*x = 23*x + 285. Which is bigger: -21 or x?
x
Let b(n) = -n**3 - 7*n**2 + 32*n + 19. Let t be b(-10). Which is smaller: 2/2619 or t?
t
Let f be (((-10670)/40)/((-1)/(-18)))/(-8). Let q = f - 600. Which is greater: q or 0?
q
Suppose 3*z - 4*o = 5*z - 14, -11 = -z + 2*o. Is 5 at most z?
True
Let n be 10/3*5/(-10). Let v be 344/24 + 2/(-6). Suppose u + v - 13 = 0. Is u equal to n?
False
Let k = -34 + 28. Let z(w) = -w**2 + 5*w + 7. Let q(x) = -2*x**2 + 4*x + 6. Let r(m) = -2*q(m) + 3*z(m). Let c be r(k). Do 15/8 and c have different values?
True
Suppose -6*y + 2*y = 0. Let b be 0/(y + (-1)/(-1)). Let w be (-5)/(-30)*(-3)/(-2). Which is greater: b or w?
w
Let m = -0.6 + 0.68. Let r = 3.12 + m. Let i = -1.8 - r. Which is smaller: -0.3 or i?
i
Let x be 4/(5 + -3)*(-332)/4. Which is smaller: -165 or x?
x
Suppose 0 = -44*k + 36*k - 280. Which is greater: -141/4 or k?
k
Let m = -15581 + 1090647/70. Let g = 1/10 - m. Let z(o) = -18*o - 342. Let a be z(-19). Which is smaller: a or g?
a
Suppose -2*g = -13*g - 253. Let r = g + 25. Is r less than or equal to 1?
False
Let p = -69/76 + 3/19. Let k be 143/(-78) - 1/6. Is p less than k?
False
Suppose k - 3*k = 6. Let b = -20 + 19.7. Let a = 2.7 - b. Is k greater than a?
False
Let b be (-16)/(-20) + 6922/940. Let d = b + 2/705. Which is smaller: 9 or d?
d
Let a(m) = 3*m - 4. Let d be a(8). Let f = d - 18. Let k be -3 - f/2*-3. Is k equal to 1/7?
False
Let l(b) = 2*b**2 + b - 2. Let m be l(-2). Let c be ((-4)/(-6))/(m/66). Let k(q) = -q**3 + 5*q**2 - 3*q + 4. Let r be k(2). Is c greater than or equal to r?