er: x or g?
g
Let x be (-6)/(-8) - (-11)/(-4). Let z be (-13)/(x - -3) - -1. Let t = z - -11. Which is smaller: t or 1/6?
t
Let k(y) = -y + 1. Suppose -6*u - 25 = -u. Let g be k(u). Let b be (3 - 0)/(6/g). Which is smaller: b or 4?
b
Let w be (3 - 5) + 4/1. Let b be 56/18 + (w - 5). Are 8 and b unequal?
True
Let j = 65/18 + -11/3. Let l = -2996/9 - -3002/9. Is l at most j?
False
Let l be (8/(-60))/(19/(-95)). Let w = 121/3 + -40. Is l at least w?
True
Let w = -0.009 - -0.054. Let i = -0.165 + w. Which is greater: 0.3 or i?
0.3
Let a(t) = -1 - 12*t - 2 + 16*t**2 - t**3 - 17. Let l be a(15). Which is greater: 23 or l?
l
Suppose 0 = 2*c - 3*c - 5*l - 8, 0*l = 3*l. Suppose -3*y + 3 = 27. Is c <= y?
True
Let w = -1 - -0.9. Let q = 4.159 - -0.041. Let n = 0.8 + q. Which is greater: w or n?
n
Let f = -232.4 - -231.4. Which is smaller: -2 or f?
-2
Let z = 16452/53 - 354035/371. Let f = z + 645. Suppose 2*w = -2*w - p + 9, -3*p + 15 = 0. Is w smaller than f?
True
Suppose 2*a = -3*a. Let y = -37 + 35. Let s be (-3)/y*(-24)/(-18). Which is greater: s or a?
s
Let j = 15 + -14.93. Let m = 0.4584 + -0.1284. Let f = m + j. Which is greater: 2 or f?
2
Let h = 2/51637 - 13270787/2013843. Let o = -90/13 - h. Which is smaller: 1 or o?
o
Let d be 3/12 - 11/(-4). Suppose 18 - d = 3*b, 4*b - 64 = 4*f. Is -5 greater than f?
True
Let f(j) be the first derivative of -j**3 - j**2/2 + 2*j - 1. Let t = -432 - -430. Let a be f(t). Is a less than -8?
False
Let s be ((-14)/4 - -3) + (-2104)/16. Which is bigger: -0.1 or s?
-0.1
Let p be (-15)/6603*8/16. Let f = -9/142 + p. Which is greater: f or 0?
0
Let q(d) = d + 8. Let z be q(-8). Is 10/11 less than z?
False
Let d = -0.3 + 1.3. Let t = -1193/3 + 399. Is t != d?
True
Suppose -z + 3 = 0, 17*r = 18*r - 3*z - 357. Is r >= 365?
True
Let h = 20/289 - 22104/2023. Let d = 677/63 + h. Let c be ((-4)/(-6))/((-6)/(-9)). Which is bigger: c or d?
c
Suppose -5*o = 5*j - 117 + 27, 4*j = 3*o + 51. Is j < 15?
False
Suppose 0 = d + p + 4, -d + 4*p = 2*d - 16. Suppose -4*h = -3*a + 3, d*h - 3*h = -a - 4. Let g be ((-4)/(-15))/(2/a). Which is smaller: 2 or g?
g
Suppose 220 = -z + 239. Is 12 > z?
False
Let g = 44442/101 + -440. Which is bigger: g or 0?
g
Let u(i) = i + 19. Let d be u(5). Suppose 6 + d = 2*n. Which is smaller: n or 16?
n
Suppose -27*y + 44*y = -34*y - 714. Suppose -k + 5*s - 29 = 0, -3*s = -2*k + 5*k - 3. Let q(m) = 5*m + 5. Let w be q(k). Is y at most as big as w?
False
Let d = 0.24 - 0.3. Let n = -622.9 + 696. Let h = n - 73. Which is greater: d or h?
h
Let b be -3 + (-291)/(-9) - (-6)/9. Let u be ((-6)/20)/(-1)*b/(-4). Do u and -2 have different values?
True
Let i = -8289/22 - -755/2. Let d = i + -2/33. Which is greater: 4/11 or d?
d
Let x = 98.3 + -98. Let j = 2/723 - 62909/2892. Let q = 22 + j. Which is bigger: x or q?
x
Let c(t) = t**3 + 7*t**2 + 10*t. Let i be c(-5). Which is greater: 18/73 or i?
18/73
Let z be (-4 + 4)/(3/3). Let o be 2 + z + -5 + 3. Let u be 20/(-5) - (1 - o). Are -6 and u equal?
False
Let h = -0.796 + -53.504. Let p = -54 - h. Let x = 2 - 1.5. Is p > x?
False
Let j be 14/(-10) + 1 - 10143/(-24745). Let p = 797/1111 + j. Which is bigger: 2 or p?
2
Let g(h) = -h - 3. Let v be g(-19). Suppose 0 = -12*a + v*a. Is a != 3/46?
True
Suppose -c + 4*t - 3 = 3, -2 = c - 2*t. Suppose -10 = -c*b + 8. Suppose 4 - b = n. Which is bigger: -0.1 or n?
-0.1
Suppose 162 = 13*n - 1229. Let i = -427/4 + n. Is 1 <= i?
False
Let m = 3 + -30. Let k = 30 + m. Let q be (k + 0)*2/6. Are q and 2/99 equal?
False
Let j(f) = -3*f + 2. Let m(b) = b**2 - b + 6. Let w be m(2). Let i be j(w). Which is greater: -2/3 or i?
-2/3
Let y = -131 - -395/3. Let w = 0.21 + -1.11. Which is greater: y or w?
y
Let y be -11 + 12528/60 - (-6)/(-2). Which is smaller: y or 195?
y
Let a(g) = -9*g - 38. Let n be a(-4). Which is greater: -85/29 or n?
n
Let t = 2098 - 2104.035. Let r = t - -0.035. Which is smaller: 0.3 or r?
r
Let y be -17 + 23 + (-256 - -1). Which is smaller: y or -248?
y
Let t(b) = b - 13. Let g be t(16). Suppose 0 = -0*r + g*r + 3, 5*r = -5*v - 10. Which is smaller: 31 or v?
v
Let n be ((-4)/(-4))/(1/4). Is n greater than or equal to 48/17?
True
Let k = 1327/165 - 8/33. Let r = 1121/145 - k. Is r at most -1?
False
Let k = 839 - 828. Which is greater: k or 16?
16
Suppose -6 = -3*h + 9. Let a be (1 + (-21)/5)/(5/(-25)). Suppose 0 = l - h*l - a. Do l and -2 have the same value?
False
Suppose 5*v - 4*v + 1 = 4*l, 0 = -5*l - 2*v - 15. Is l at most 2/829?
True
Let x be (1/20)/(2/12). Suppose -g + 10 = -t - 2*g, -3*t + 3*g - 12 = 0. Let z be 3 + (t - -2) + 2. Which is smaller: x or z?
z
Suppose 4*p = p + 2*a + 164, 5*a = 2*p - 102. Let x = p - 390/7. Let f = 52/7 - 54/7. Which is bigger: f or x?
x
Let c(m) = -6*m**2 - 3*m**2 + m**3 + 8*m + 1 + 0*m**2. Let d be c(8). Suppose -3*b = -o - 7, 9*o + 19 = -b + 4*o. Is d equal to b?
True
Let j(z) = 4*z + 11. Let l be j(-4). Let c be ((-2)/l)/((-518)/(-70)). Which is bigger: 1 or c?
1
Let g = -47.26 - -47.3. Which is bigger: -47 or g?
g
Let k be 2*87/(-42) - (-2)/(-2). Is k smaller than -6?
False
Let h = 365/1748 - 41/92. Which is bigger: -1 or h?
h
Let f be (-27)/(-249)*37 - 4. Suppose l + o = -4*l - 6, -3*o = 3*l + 6. Which is greater: l or f?
f
Let g be 0 + 0/(-2 - -3). Let i be (-4)/(-18) - (-1462)/(-72). Let k = i - -20. Which is bigger: k or g?
g
Let r be (-234)/126 + 1/(-3). Let d = r - -13/7. Which is smaller: -1/10 or d?
d
Let x(n) = 2*n**3 - 27*n**2 + 20*n + 52. Let k be x(13). Is 140 at least k?
False
Let g(o) = 2*o**2 - 23*o - 39. Let k be g(12). Is k greater than or equal to -23?
False
Let d(r) = 6*r + 1. Let h be d(2). Suppose 4*b + 4*i = 28, 0 = 5*b - 2*i - 2*i - 62. Suppose j - 21 + b = 0. Which is smaller: j or h?
j
Let g be (-8)/(-7) + (-294098)/(-3773). Which is smaller: g or 80?
g
Let z be -2 + 3485/1935 - 2/(-9). Let c = 99/559 - z. Is c at most as big as 3?
True
Let a = 21 + -40. Let k be (-5)/25 + a/5. Let d(o) = -o**2 - 2*o. Let l be d(k). Is l at least 0?
False
Let v = -111 + 110. Suppose 0 = 5*p - 2*i - 2*i + 25, -3*i = -3*p - 15. Let a be (0 + 1)/(p/(-5)). Is a > v?
True
Let f = -203 + 241. Is f greater than or equal to 40?
False
Let x = -8.4 - -9. Let y = -19 + 19.8. Let a = x - y. Which is bigger: a or -3?
a
Let x = -119 - -172. Let w = x - 370/7. Is 0 greater than or equal to w?
False
Let s(t) = -2*t + 3. Let x be s(0). Which is smaller: 0.8 or x?
0.8
Let h be 6 + (-12)/(164040/82030). Which is bigger: h or 0?
0
Let z be (-20)/150 + (-12792)/(-90). Is 1 greater than z?
False
Let n = 404/7 + -58. Is n greater than or equal to 1?
False
Let i = -2/195 + -187/780. Let q = 5923/4732 - 2/1183. Which is smaller: q or i?
i
Suppose -4*v = -0*v - 4. Let r = -32 - v. Which is smaller: -34 or r?
-34
Let d be 16/3 + 2/3. Let h be (6/(-5))/(1/(-5)). Are h and d nonequal?
False
Let y = 22 - 9. Let c = y - 12. Does c = -3?
False
Suppose 65*t + 38 = 46*t. Which is greater: t or -122?
t
Let y be -1 + (-12 - 7/(-7)). Is 1 smaller than y?
False
Let y be (3/81)/((28/(-24))/7). Is y smaller than 5?
True
Let r = -1 + 0. Suppose 3*c = -i - i - 7, 0 = -3*c - 5*i - 22. Let x be (1/c)/(-9 - -10). Is r greater than x?
False
Let c = 34.078 + -0.078. Let i = c + -34.8. Which is greater: -0.1 or i?
-0.1
Let y = -46 - -29. Let q = y + 18.4. Which is greater: 0 or q?
q
Suppose 4*a - 3*a - 4*h = -44, -2*h = -2*a - 106. Is -55 less than a?
False
Suppose -i = 2*u - u, -12 = -3*i + u. Let a be (3 - 8/i)*6. Suppose 2*p = -5*f - 31, -a = -p + 3*f + 10. Is p at most as big as -3?
True
Let j = -0.344 + 8.344. Let o = -2.9 + 3. Which is smaller: o or j?
o
Let s(g) = 2*g**2 + 17*g + 20. Let w be s(-7). Is -24 less than or equal to w?
True
Let w = 24 + -11. Let r(g) = -g + 19. Let v be r(w). Suppose -v*x = -2*x. Which is bigger: -2/5 or x?
x
Let a = 13 + -14. Let j = 2 + a. Let x be (-9 + (-2)/2)/j. Which is smaller: -11 or x?
-11
Let o be ((-4)/3 - 35/(-35))*9/12. Let i = 0.16 + -0.86. Which is smaller: o or i?
i
Let v = -1012 + 1020. Which is smaller: v or -2.8?
-2.8
Let a = 139 + -139.22. Which is bigger: a or 6?
6
Suppose 4*n + 6 = -6. Let o be n/((-7 + 3)/(-4)). Let m be 2/2 + -4 + o. Which is bigger: -2/5 or m?
-2/5
Let m be ((-684)/220 + -2)/(-1). Let n = 54/11 - m. Do -1 and n have different values?
Tr