er: 1 or n?
n
Let x(v) = 65*v**2 + v. Let s be x(-1). Let t be (16/s)/(3/(-56)). Is -1/3 smaller than t?
False
Let u be (-406)/(-126) - 4/18. Let l = -7 + 9. Suppose l = -f + u. Is -1/9 bigger than f?
False
Let h = -256 - -259. Which is smaller: 1/33 or h?
1/33
Let f = -1021/70810 + 3/730. Which is bigger: 1 or f?
1
Let z = 65.2 + -64. Let r = -2.8 + 1.4. Let q = r + z. Is q at least -2?
True
Let g = -452 + 461. Is g less than or equal to 1.5?
False
Let v(d) = d**2 + 11*d + 10. Let c be v(-10). Suppose c = -w - 7 + 5. Let n be (w/(-14))/((-72)/(-42)). Which is greater: -1 or n?
n
Let h = -61 - -63. Which is smaller: 280 or h?
h
Let w be -19 - -3 - (1 - 6). Suppose -3*b + 2*v = -5, 0*b + 4*v = b - 15. Let q be b/3 - (-105)/(-9). Is w >= q?
True
Let r = -0.5 + 0.42. Let n(u) = u**3 - 6*u**2 - 4. Let v be n(7). Let o be (-9)/v*(-10)/(-8). Is r not equal to o?
True
Let k be 38/(-3)*(-3)/(-28). Let g = 6/7 + k. Let a = 19.752 - 18.752. Which is bigger: a or g?
a
Let x be (-4)/(-6) + (-75)/(-9). Suppose g + 4*g - 50 = 0. Let t = x - g. Do -3 and t have different values?
True
Suppose -2*b + 7 = 61. Are -28 and b non-equal?
True
Let i = -12.3 - 90.7. Let w = 103.4 + i. Are w and -0.7 non-equal?
True
Let r = -13 - -19. Suppose a = r*a - 5. Which is smaller: a or -0.01?
-0.01
Let k = -31.4 - -35. Let r = k + -3.61. Is -8 at most r?
True
Let u = -118 + 241/2. Let r be -1*16/(-20) + (-20)/25 + 4. Is r < u?
False
Let n be 14/3*((-3)/1)/1. Let k = -5 + 5. Let i = -0.1 + k. Is i > n?
True
Let k(n) = n**3 - 50*n**2 + 97*n - 48. Let g be k(48). Is 42/29 at least as big as g?
True
Suppose -2*i = 2 - 4. Let b = -3992 + 15811/4. Let g = b - -1111/28. Which is smaller: g or i?
g
Suppose 45*x - 53*x + 344 = 0. Which is smaller: x or -3?
-3
Let g be ((-364)/56)/(3/(-42)). Which is smaller: g or 93?
g
Let t = 4363085/748 - 5833. Are t and 1 unequal?
True
Let m = 0.31 - 8.21. Let k = 7.4 + 0.6. Let n = m + k. Is -2/9 not equal to n?
True
Suppose -2*d + s + 2 = -3, 0 = 5*d + 5*s + 25. Let m = d + -3. Suppose -14 - 16 = 15*h. Which is greater: m or h?
h
Let t = -1521 + 1468. Which is bigger: t or -56?
t
Let t = -75.975 - -76. Let r = t + 0.075. Which is smaller: r or -40?
-40
Suppose 112 = o + 117, -5*n - 10 = o. Which is smaller: 1/2292 or n?
n
Let r(s) = -12*s - 72. Let b be r(-6). Do b and -7/36 have the same value?
False
Let z be (4/2 + -2)/1. Let h = -3/80 - -1/10. Which is greater: z or h?
h
Let v(b) = -18*b**2 + 4*b - 18. Let d be v(12). Let c = d - -51229/20. Let r = c - -3/20. Which is smaller: 1/2 or r?
r
Let i = 14.6 - 14.4. Suppose 3*x - 3*k = 15, x - 4*x - k = -23. Is x > i?
True
Let c be ((-11)/(132/8))/(143*1). Is 1 at least as big as c?
True
Let y = -1149 + 932985/812. Is 1 less than y?
False
Let z = 2.94 - 3.9. Let w = 0.04 - z. Which is smaller: -45 or w?
-45
Let x = -111.92 + 0.92. Which is bigger: x or -2/7?
-2/7
Let p = -25.01 - -0.11. Let u = -25.12 + 0.12. Let t = u - p. Which is smaller: t or -1?
-1
Let y(m) = m**3 + m**2 - 2*m + 11. Let r be y(0). Suppose g + 10*g - r = 0. Which is bigger: g or -3?
g
Let s(p) = 0*p - 1 + p + 0 + 0. Let n(i) = -i - 5. Let m(k) = -n(k) - 2*s(k). Let z be m(0). Is z greater than or equal to 6?
True
Let w = 3166 - 3182. Let m be ((-48)/10)/((-6)/40). Let r = 95/3 - m. Which is bigger: r or w?
r
Let b be 0 + 0/(2/(-6 - -4)). Which is bigger: -2/1449 or b?
b
Let x be (6 - 7)*10/8. Do 1 and x have the same value?
False
Let d = 12 + 10. Suppose u - p + 2*p = -5, -2*u + 2*p - d = 0. Which is smaller: -9 or u?
-9
Suppose 0 + 5 = -5*g. Let a = -29/6 - -5/2. Are g and a nonequal?
True
Let n(m) = m**3 + 23*m**2 + 47*m + 87. Let s be n(-21). Which is smaller: -91/5 or s?
-91/5
Let k be 111/74*(-8)/(-6). Which is smaller: 6 or k?
k
Suppose -2*s - 4 = -5*g - 115, -4*s = -5*g - 117. Suppose -3 = -3*j + 2*j. Which is greater: g or j?
j
Let c be 2/14 - 15510/109060. Let u = c + 9257/141778. Which is smaller: u or 0?
0
Let i = 0.52 + 24.48. Let y = -22 + i. Let l = -4.9 - -5. Is l at least y?
False
Let d = 2040 - 958801/470. Is d at least -0.1?
True
Suppose 5*s + 4 = -o, 27 - 22 = -5*s. Which is smaller: -30/13 or o?
-30/13
Let q = -4.764 - -0.094. Let s = 5 + q. Let t = s + -1.33. Is t greater than or equal to -1?
True
Suppose 3*u - 4*u - 1 = 0. Let p be (125/121 + u)/(-1). Which is greater: 0 or p?
0
Let p(o) = o**3 - 11*o**2 + o - 9. Let u be ((-66)/(-9))/(2/3). Let r be p(u). Let j be (r/12)/(11/165). Is 3 not equal to j?
True
Let r = -1154 - -1153. Which is smaller: r or -2/2643?
r
Suppose -4*g = -5*g - 8. Let q be g/(1 - -1) + 8. Let o be 3 - (q/1 + -9). Is 8 equal to o?
True
Let g be 42143/80993 + (-18)/33. Do 1 and g have the same value?
False
Let y(g) = -g**2 - 7*g + 1. Let r be y(-7). Let f be r - (1/(-2))/(17/(-34)). Is -1/5 equal to f?
False
Let z(j) = 16*j - 70. Let v be z(4). Is v smaller than -41/8?
True
Let s(g) = -g**2 + 3*g + 1. Let f be 4/(6 - 2) - -3. Suppose 4 = -2*n - 5*r, f*r + 22 = 3*n + 5. Let y be s(n). Which is bigger: y or 4/5?
y
Let j be (-1)/((-24)/20 + 1). Suppose -2*f = -2*h, -5*h = -j*f - h + 2. Let m(o) = o**3 - 4*o**2 + 3*o + 4. Let c be m(3). Is f greater than or equal to c?
False
Let x = -10 - 12. Is -20 at least x?
True
Suppose -5 - 1 = -c. Let a = 3595 + -3599. Is c < a?
False
Suppose 3*j + 4*l = 35, 2*j + l = 3*l. Suppose 0 = -3*z + j*a + 8, 0 = -2*z + 7*z + 4*a - 1. Do z and 3/8 have the same value?
False
Let i = 0.87 + -0.85. Is 4 less than or equal to i?
False
Suppose 24 = 5*b - 2*x + 2, -x - 14 = -3*b. Suppose a - 7 = -0*a. Which is bigger: a or b?
a
Let l be (86/(-8))/((-1)/(-4)). Are -43 and l equal?
True
Let c be ((-15)/25)/(-2*3/90). Let v be ((-3)/c*-2)/((-5)/15). Which is smaller: v or -0.2?
v
Let y be -5 + ((-32)/15)/((-18)/45). Which is greater: y or -1.753?
y
Let u = -2.7 + 2.2. Is u less than -2/51?
True
Let c(o) = o**3 - 2*o**2 - 5*o - 6. Let b be c(5). Which is smaller: b or 41?
41
Let t(u) = u**2 + 10*u - 3. Let f be t(-7). Let z = 24 + f. Suppose z = -5*n + 5*x - 35, -2*n - 1 = -n - 4*x. Which is bigger: n or -10?
n
Let c = -91 + 151. Let u be (9/c)/(1/5). Let h = 20.1 + -20. Which is smaller: u or h?
h
Let b = -104.7 - -132.7. Are b and -18 nonequal?
True
Suppose 2*r = 8, 3*r - 29 = -2*m + 11. Suppose 7*x = 2*x + 120. Suppose 3*n - x = 2*l, -5*l - n = 29 + m. Is -3 <= l?
False
Let l = -4586870 - -6761549. Let u = -1598388761/735 + l. Let v = 2/147 - u. Is v <= -4?
False
Let t be (6/(-21) + (-405)/(-21))/1. Which is smaller: t or -5?
-5
Let s = 0.635 + 0.365. Let p = 3.07 - 0.07. Let o = p + -4. Which is greater: o or s?
s
Let w(i) = -i**2 - i + 1. Let y be (-3 - -1) + 7 + -7. Let h be w(y). Let c = -668/21 - -95/3. Is h less than or equal to c?
True
Let v be (-42)/(-8)*9/42. Suppose 4*k + 15 = 3*n, -4*k + n - 5 = -6*k. Are v and k equal?
False
Let a = 125 + -69. Let m be (-4)/5 + (-1)/((-115)/6417). Are m and a equal?
False
Let b be -3*(2*-2)/4. Suppose -2*k + b = -k, -2*k = -2*f - 4. Let x be 2 - (3 - 33/39). Which is bigger: x or f?
f
Suppose 8 = s - 2*p, -4 = -4*s - 5*p + 6*p. Which is smaller: s or 1/385?
s
Let z = -392.1 - -415. Let p = z + 0.1. Let s = 0.01 - 0.01. Is s >= p?
False
Let i = -13 - -14. Let d be -3 - (-38)/4*i. Let p = -41/6 + d. Is p greater than -4?
True
Let z be 3/(-6) - (-27)/6. Suppose z*k = 3 + 17. Suppose -4 = -k*s + s. Which is smaller: 7/3 or s?
s
Let b = -517 - -547. Which is smaller: b or -2?
-2
Let v be -4 - ((-8)/(-2))/(28/(-22)). Let a = v - -52/77. Is a less than -6?
False
Let d(t) = t**3 - 11*t**2 + 26*t - 16. Let g be d(8). Which is smaller: g or 21/26?
g
Let s = -911/5 + 1829/10. Let b(w) = w**2 + 5*w + 6. Let m be b(-4). Which is bigger: m or s?
m
Let p(c) = 2*c - 9. Let w be p(6). Let v be w/(-6)*(-2 + 0). Let m = 24 + -23. Is v <= m?
True
Let q be (4 + (-3)/(-3))*-4. Let k = q + 10. Let d be (k/(-35))/((-8)/(-28)). Is d at least 4/7?
True
Let h be ((-272)/(-44) + -6)*49/28. Suppose -2 = 5*i + 3. Is i < h?
True
Let k = 513/2 - 241. Which is smaller: 15 or k?
15
Suppose 5*n - 37 + 12 = 0, -20 = 5*m - 5*n. Let a = m - 0. Let c(o) = 2*o - 9. Let v be c(6). Which is greater: v or a?
v
Suppose -o - 21 = -63. Let l = o + -22. Let v = -22 + l. Does v = -1/2?
False
Let y be (-13 - 1890/36) + (-2)/3. Which is greater: -67 or y?
y
Suppose 