Is a less than n?
False
Let u(j) = j**2 + 9*j + 19. Let q be u(-3). Which is greater: q or 2/391?
q
Let q = -76 + 51. Let f be (-3)/6 + q/(-10). Suppose -b = f*b + 36. Is b greater than -11?
False
Let m = -330 + 329. Which is smaller: 0.187 or m?
m
Suppose 29 = -2*z - 3*n, 2*n = -2*z + 1 - 25. Which is greater: z or -156/19?
z
Let s be 2/21*(3 - 0). Suppose 4*v - 19 - 5 = 0. Let i = v + -5. Is s at least as big as i?
False
Let n = 87 + -88. Which is greater: 2/171 or n?
2/171
Let c = 3.9 - 1.8. Let a = 2.3 - c. Which is smaller: -2 or a?
-2
Let z = 71 + -68. Suppose z*f + 20 = -2*f. Which is greater: -1 or f?
-1
Let z be (-30)/(-10)*188/(-3). Are -186 and z nonequal?
True
Let c(j) = j**3 - j**2 + j + 4. Let v be c(0). Suppose -5*u = v*d - 10 - 15, 2*d = 0. Let k be 62/70 + (-3)/u. Which is smaller: 2/11 or k?
2/11
Suppose -u + 7 = 3*z, 4*z + 8 = -0*z + 3*u. Which is smaller: -9/28 or z?
-9/28
Suppose -b = -3*g, -g - 2*g = b. Suppose -i - 94 = 3*w - 10, b = -w - 3*i - 20. Is -29 equal to w?
True
Let d be 3164/63 - 2/9. Suppose -6*r + d = -7*r. Let k be ((-4)/r)/((-6)/30). Which is greater: k or 0?
0
Let q(v) = -v**2 - 9*v + 4. Let z be q(-9). Let p(u) = -6 + z*u + 0 - 3*u. Let r be p(5). Which is smaller: r or -1/3?
r
Let w = -495 - -634. Is w at least as big as 137?
True
Let z(t) = -5*t**2 - t - 3. Let d be z(-3). Let r = 45 + d. Let o be 2/(-104) - (-2)/8. Which is bigger: o or r?
o
Suppose 2*i + 0 = l - 2, -4*i - 28 = -4*l. Let h = 7 - 4. Suppose h*w - 1 = j, -1 = -2*w + 7. Which is greater: l or j?
l
Let h(q) = -q**2 - 6*q + 4. Let r be h(-6). Suppose -2*s - 4*c = -8 + r, 0 = -2*c - 2. Let l = -4 + s. Are l and 2/11 nonequal?
True
Suppose -49*m = -17*m + 4704. Which is bigger: -152 or m?
m
Suppose 0 = -4*w, b - w + 10 = 4. Which is bigger: b or -37?
b
Let r = -33/5 + 373/55. Let v = -0.2 - -0.1. Is r equal to v?
False
Let j = -100 - -130. Which is smaller: j or 23?
23
Let l(r) = -2*r**2 + 6*r - 7. Suppose 33*n - 12 = 29*n. Let d be l(n). Do d and -0.1 have the same value?
False
Let c(d) = -d + 19. Let w be c(16). Let v be (-2 - 104/(-36))*2. Which is smaller: w or v?
v
Let r = -9 - -11. Suppose 7*g - r*t = 2*g - 9, -g + 5*t = -12. Let w be ((-5)/(-3))/((-1)/g). Which is bigger: 4 or w?
w
Let h = -2366 - -2365. Which is greater: h or -1/67?
-1/67
Let o be 1316/(-7359) + (-32)/(-176). Which is smaller: o or 0?
0
Let t be ((14 - 18) + 6/2)*1501. Is t greater than or equal to -1502?
True
Suppose z + 135 = 6*z. Let y = z - 43. Let h be (-12)/y - 7/8. Which is smaller: h or -1?
-1
Let b = -6 - -9. Let z = -0.04 + 0.34. Let c = 0.4 - z. Is b at least c?
True
Let d = 321 - 333. Is d at least as big as -5?
False
Let l = 0 + -0.05. Let n = 38 + -59. Let b = n + 23. Is b < l?
False
Let l be (44/48 + -1)/((-63)/(-27)). Which is smaller: -1 or l?
-1
Let k = 1078 - 1077. Which is smaller: -1/1041 or k?
-1/1041
Let y be (-1590)/45*6/4. Let t = 25 + y. Does t = -27?
False
Let a(j) = -44*j**2 - 26*j - j**3 + 10*j - 5 - 1 + 36*j**2. Let c be a(-6). Is c != 16?
True
Let j = 279.8 - 279. Which is smaller: j or -1.2?
-1.2
Suppose 0 = 26*t - 21*t - 85. Let q = -9 + t. Suppose 4*c + 0*w - 5*w = 16, -4*c - 5*w + 56 = 0. Which is smaller: q or c?
q
Suppose -2*z = v + 5, 2*v - 2 + 15 = -5*z. Let m = -9 - 2. Let u = -36 - m. Is v at least u?
True
Let f = -82 + 51. Let h(g) = -2*g + 41. Let c be h(36). Is c less than f?
False
Let n = 104366 + -524398/5. Let m = n + 511. Let w(g) = -g**2 + 5*g - 6. Let c be w(4). Which is bigger: m or c?
c
Let g = -2/76651 - -41008299/536557. Let v = g - 77. Which is smaller: 1 or v?
v
Suppose -6*n + 14 = -8*n. Let w(g) = -g + 1. Let k(u) = -3*u + 2. Let c(s) = -6*k(s) + 17*w(s). Let f be c(n). Is -1 at least as big as f?
True
Let o be 12*-1*(2 - 1). Let u = 4 - o. Suppose 20 = -2*r + 2*v, v + u + 22 = -5*r. Is -8 at least r?
True
Let p(q) = q**3 + 5*q**2 - q - 4. Let n be p(-5). Which is bigger: -3/139 or n?
n
Let m be 1 - 6 - (-17 - -79). Let f = 102 + m. Is 37 greater than f?
True
Suppose 37 = 5*t - 13. Which is bigger: 53/5 or t?
53/5
Suppose 4 = 2*x - 14. Let v = -51 + 203/4. Which is greater: v or x?
x
Suppose -2 = y - 5*i - 4, 5*y + 68 = -i. Let a = 65 - 79. Which is smaller: y or a?
a
Let g = -3.2 - -3. Let n = -212.9 + 212.9. Which is smaller: g or n?
g
Let v = 0 + 1. Let d be 6/(-39) - 1710/4095. Which is greater: d or v?
v
Let k = 23 - 41. Suppose -m = 2*u - 2, 2*m - 4 = u - 3*u. Let s be 2 + 1 - (u - -22). Which is greater: k or s?
k
Let v be ((-9)/63)/(68/(-40)). Which is smaller: v or -1?
-1
Let q = 0.07 - -0.03. Let a = q + 0.1. Let x = -0.002 + 0.002. Which is smaller: x or a?
x
Let g be 134/11 + (-7)/(539/14). Which is greater: g or 2?
g
Let x = 3.85 + 4.15. Let j = 0.9 + -1. Which is greater: x or j?
x
Let g(q) = q + 4. Let c be g(-5). Let s be 10/(-25)*10/18. Which is bigger: c or s?
s
Let i = 888 - 752. Which is bigger: 134 or i?
i
Let b be (-90)/14 + (-21)/(-49). Let l be ((-45)/20)/(b/32). Are 11 and l nonequal?
True
Let w = -0.006 + 1.006. Let o = w - 2. Is -0.9 less than or equal to o?
False
Suppose -5*z + 8 = -0*k - 3*k, -2*z = 4*k + 2. Let l = -0.6 - -0.9. Let y = l + 5.7. Which is smaller: y or z?
z
Let l = 62 + -50. Let x be -4 + 38/10 - 498/(-40). Which is smaller: x or l?
l
Suppose 0 = 5*w, -2*j + w - 6 = -2. Let u(s) = -s**2 - 5*s - 5. Let z be u(j). Let y be 90/(-86) - (0 - 1). Which is smaller: z or y?
y
Let a = -1936777/589 - 9/2356. Let q = a - -3307. Is 18 <= q?
True
Let b = -251/22 + 23/2. Suppose -18 = -2*f + 2*o - 6*o, 0 = -f + 2*o - 3. Suppose l + 12 = -f*l - 4*j, j = l - 1. Is l equal to b?
False
Let k be (-12)/(-8) - (-15)/(-18). Let b = 0.0123 + 3.4177. Let v = -3.4 + b. Which is greater: k or v?
k
Suppose 3*j + j = 20. Suppose -3*p + 6 = 0, -j*h = 5*p - 2*p + 84. Let m = -19 - h. Do m and -1 have the same value?
True
Let c = -10 - -8. Let t be (7/(-14))/(c/32). Let q(b) = b - 6. Let g be q(t). Which is smaller: g or -1/5?
-1/5
Let k = -223 - -316. Suppose 37 = -n + 3*n + v, 5*n + 3*v = k. Let i be (-15)/n*8/(-30). Which is greater: -1 or i?
i
Suppose -p - 83 = 3*l + 6, 5*l = -5*p - 425. Which is smaller: p or -79?
p
Let q = -0.1 + 0.2. Let v be (1 - (-4 + 3))*20/8. Suppose -v*k - 57 = -3*f - 16, 2*f - 2 = -3*k. Are q and f non-equal?
True
Suppose -2*v + 12 = -4*c - 0, 3*c = 5*v - 16. Let o = 52 - 62. Let y be ((-5)/o)/(2/8). Are v and y non-equal?
False
Suppose 5*o + 4*v = -152, -4*o = 2*v + 89 + 29. Let b be ((-2)/2)/((-2)/(-58)). Is b at most o?
True
Let v(g) = -g**3 + 14*g**2 - 14*g + 9. Let y(w) = -8 + 7*w**2 + 24*w**3 - 11*w**3 - 12*w**3 - 3*w. Let t be y(-7). Let p be v(t). Which is smaller: -5 or p?
-5
Suppose -3*s = -3*h - 12, 5*h + 2*s - s + 8 = 0. Let n be (3 - (-21)/(-6))/h. Is n <= 2?
True
Let h(s) = -29*s - 27. Let r be h(-2). Is r equal to 33?
False
Let x(v) = 6*v**3 - v**2 + v - 1. Let b be x(1). Suppose -2*q + 15 = -b*d, -q + 6 + 3 = -3*d. Suppose q = -0*y - 3*y - 2*r + 34, 0 = -4*y + 3*r + 51. Is y > 13?
False
Let v(s) = s + 20. Let r be v(-19). Let j be (-3)/(-18) - (r + (-26)/24). Let y = 0.08 - 0.11. Is j equal to y?
False
Suppose 5*k - 14 = 1. Is 18/11 less than k?
True
Let a(v) = -v**2 + 5*v + 1. Let i be a(-4). Let g be (-2)/(-14) + 40/i. Are g and -15 non-equal?
True
Suppose 3*k = 2*v - 1307, -v + 3*v = -k - 449. Is 0 less than or equal to k?
False
Let w(j) = -83*j**2 - 3*j + 1. Let d be w(1). Which is smaller: d or -86?
-86
Let z = 85 - 75. Let q = -5 - -8. Are z and q unequal?
True
Suppose -20 = -5*n - 0. Suppose -g + 5*q = -3*g - 20, n*g + 20 = -5*q. Suppose g = -f - 4*f + 15. Which is bigger: -1/2 or f?
f
Let o = -0.748 - -0.748. Which is smaller: -54 or o?
-54
Let r be 43 - (6 - (15 - 4)). Is r bigger than 1/2?
True
Let i be (-408)/88 + 5 - 10444/286. Which is smaller: i or -37?
-37
Let u be -3 + (-176)/(-12) - -2. Let d = 85/6 - u. Is -32 less than or equal to d?
True
Suppose 0 = 8*y - 3*y - 1935. Let z = -17416/45 + y. Which is bigger: z or 1?
1
Let o be (-84)/(-9)*(1 + 8). Let p be (-66)/o + 4/14. Let j be -2 - (3 + 17/(-3)). Which is smaller: j or p?
p
Suppose 723 + 259 = -2*g. Do -489 and g have the same value?
False
Suppose -v - 4*b - 14 = -0*b, -20 = -4*v + 3*b. Suppose -4*o + 6 = v. Is 1/23 bigger than o?
False
Let j = -290 + 708. Is j bigger than 418