x = 2*t. Let d be 4624/32*-1*x/10. Let h = d - 57. Is h not equal to 1?
True
Let n(z) = -z + 36. Let x(i) = -9. Let s(f) = -2*n(f) - 9*x(f). Let y be s(-6). Let a be y/(-12) - 388/16. Does -25 = a?
False
Let k(g) = 17*g + 8. Let d(c) = 16*c + 9. Let n(h) = 6*d(h) - 5*k(h). Let v be n(8). Let u = v + -46. Which is bigger: -2/3 or u?
u
Suppose 0 = -5*w - 95 + 105. Suppose w*m - 19 = -5*f, -2*f - 3 = 2*m - 13. Suppose 0 = 4*c + 2*h - m, 3*c = -2*h - 0*h. Which is greater: 8 or c?
8
Let c(t) = -t + 14. Let s(w) = 6*w**2 - 4*w + 3. Let x be ((-6)/(-18))/(1/3) + 0. Let l be s(x). Let m be c(l). Which is bigger: 8 or m?
m
Let j = 1075 + -1534. Let u be 4*(-34)/(-192) + (135/(-40) - -3). Is u bigger than j?
True
Let c = 1969/377 - 89/29. Let j(b) = 2*b - 6. Let k be j(4). Which is bigger: c or k?
c
Let n = -3049 + 6880. Are 3831 and n equal?
True
Let f(u) = 25*u - 23*u - 17 + 38*u + 6*u**2 + 6*u. Let o be f(-8). Which is greater: o or 7/101?
7/101
Let p(t) = -30*t**3 - 2*t**2 - 3*t - 3. Let n(l) = 2*l**3 - 2*l - 1. Let m(q) = 5*n(q) - p(q). Let y be m(2). Is y at least as big as 312?
True
Suppose -p + 3*m - 7*m = 3, -3 = 3*m. Is p equal to 0.6679?
False
Let u(g) = 8*g**2 - 3. Let i be u(-2). Suppose 2*f - 161 = -5*f. Let x = f - i. Which is smaller: -2 or x?
x
Let u = 37935/59 + -643. Let s = -59 + 97. Let o = s - 38. Is u at most o?
True
Suppose 5*m - 5*h = -h + 29, 3*h = -5*m + 22. Suppose -m*n - 2 = 4*z - 29, z - 6 = -n. Suppose 3*x + x + 5*y + 319 = 0, -143 = 2*x - z*y. Is x equal to -77?
False
Let q be (-2474)/14 - ((-66)/(-12) - 4). Let b = q + 363/2. Is b greater than 2/5?
True
Let y be 67/(396975/37290) - 1*6. Is 0 greater than y?
False
Let a(r) = r**3 - 2*r**2 + r + 2. Let c be a(0). Let v be (-5)/20*-20 - 0/c. Suppose -5*b - v*g + 3*g = 18, -4*b + g = 17. Is b < -4?
False
Let l(k) = -35*k + 51. Let n be l(-6). Let p = -262 + n. Let s = -232843/95 + 2451. Are p and s non-equal?
True
Suppose 0 = 10*s - 3*s + 42. Let b be (32/12 + -3)*s. Suppose -b*u = 2*u - 56. Is u equal to 13?
False
Let j = 3 - 7. Let k be ((-27)/9 - -12) + -10 + 56/2. Which is smaller: k or j?
j
Let v be (8 + 0)/((-8)/(-300)). Suppose -3*p = -5*p - v. Is -150 != p?
False
Suppose -1364*g + 1362*g = 30. Let n be ((-416)/264)/((-5)/g). Is n smaller than -6?
False
Let o = 16924 - 16656. Which is smaller: o or 30?
30
Let k = 80558/1313395 - 14/3785. Is -1 >= k?
False
Let p(q) = 2*q - 28. Let d be -1 - -1 - 36/(-3). Let t be p(d). Let v be (-6*5/(-15))/(t/(-2)). Is v not equal to 1/85?
True
Let m be -3*((-24)/9)/2. Suppose -v + m - 20 = 0. Let z(n) = n**3 - 17*n**2 - 26*n - 245. Let b be z(19). Which is smaller: b or v?
b
Let u(j) = 34*j - 1807. Let b be u(53). Which is smaller: b or 238?
b
Suppose 12 = 2*i, 0 = -p + i - 24 - 36. Is p less than -73?
False
Let j = -191940 - -191940. Let i = 19/11 + -2. Are j and i non-equal?
True
Suppose -5*g = 5*r - 2055, -5*g - 946 = -2*r - 145. Is 406 >= r?
False
Let m = 0.03289 - -0.16711. Let d = -509/14586 - 2/561. Which is greater: m or d?
m
Suppose 11*l - 33 = 33. Suppose 4 + l = -10*w. Which is greater: w or 1/482?
1/482
Suppose 632*d - 155 = 2*u + 635*d, 0 = -5*d + 5. Which is greater: u or -797/10?
u
Let y = 2519/42 + -365/6. Let f be (-8)/20 - (-42)/5. Let q = -4 + f. Is q at least y?
True
Suppose -5*u - 19436 = 3*q, 937*q + 15592 = -4*u + 940*q. Which is smaller: -3891 or u?
u
Let v = -11 + 34/3. Let l = -28.3 + 30. Let x = l - 0.7. Which is bigger: v or x?
x
Let o = -40 + 45. Let t be 2/o + 241/(-15). Let g be (-350)/21 - (-7)/(-21). Is t at least g?
True
Let z be 8 + ((-2)/1 - 0). Let o be 2 - 3*(0 + -2 - -3). Let v be 15/z*(-5 - o). Is v bigger than -11?
True
Suppose -4*j + 714 = 286. Suppose 9 = 110*y - j*y. Which is greater: y or -1?
y
Let b = 5 + 1. Suppose 4*n - b = -2. Let y = 18491 + -147919/8. Are y and n non-equal?
True
Suppose -7*k = -1207 + 1039. Are k and 1398/59 equal?
False
Suppose 0 = 5*g - 0*f - 2*f + 21, -3*f = 3*g. Let n be ((g - -1) + 4)/(-2). Let w = -1297/11 + 118. Is w at least n?
True
Suppose -2*n = -n + 5*a - 55, 0 = -5*n + 5*a + 275. Suppose 4*r = -5*p + 3*p + 20, -3*p + 14 = -2*r. Let l be p/(-3) - -2 - -55. Is l > n?
False
Let j = 76 + -66. Suppose 8 = 3*q - j. Suppose 13*t - q*t = 0. Which is smaller: t or 1/71?
t
Let u be (-273)/195 - (-3213)/(-555). Is u at most -6?
True
Let r = -142 + 136. Let u be r/4 + 2 + 708/24. Are 28 and u equal?
False
Suppose -5*b = -30, -18*q - 3*b + 10723 = -23*q. Which is greater: -4279/2 or q?
-4279/2
Let q = 0.034 + -14.244. Let f = 14.2 + q. Is f at most as big as -0.03?
False
Let s be -1*(9/(-3) + -2). Suppose -2*l - 62 = -s*v, -9 - 12 = -2*v - 3*l. Suppose -2*f = -4*c + 4, 2*c + 4*f + v = 4. Which is smaller: c or 23?
c
Let d be (-1*1 - 1) + 1072/67. Let n be (-28)/(-764)*((-12)/d)/(-3). Is n >= 0?
True
Let u(t) = -3*t**3 - 4*t**2 - t. Let i be u(-2). Let o be ((-8)/(-60)*3)/(4/i). Is o greater than 1?
False
Suppose 0 = 3*j - 5*s + 4*s - 202, s + 70 = j. Let f = 204685 + -204619. Is f smaller than j?
False
Let d(a) = -2*a - 2. Let o be d(-2). Let g = -2002 + 2004. Suppose -g*m + 2*k + 2 = -m, -2*k + 34 = o*m. Is 23/2 greater than m?
False
Let s = -437 - -1207. Let r = s - 98561/128. Which is bigger: r or -1?
r
Let b be (4/(-6) + 1)*21. Let l(w) = -w**2 + 8*w - 4. Let y be l(b). Is -13 bigger than y?
False
Suppose -3*l - 116 = -4*i, -2*i - 34 = 3*l - 110. Let z be i/(-44) - (-2)/2. Let s be 3*(-6 + 5)*(-56)/294. Is s greater than z?
True
Let o = 35645 - 35646. Suppose 5*c = -0*c - 50. Let r be 25/5*8/c. Which is smaller: o or r?
r
Let u(q) = 3*q**2 - 2*q + 18. Let r be u(-5). Let j = r + -105. Suppose 0 = 3*t - 5 + 17. Is j smaller than t?
False
Let z = -19.37 - -77.47. Let h = 159 - 105. Let v = h - z. Which is greater: -2/7 or v?
-2/7
Let x(o) = o**3 - o**2 - 12*o + 2. Let c be x(4). Suppose 0 = c*m + 10 + 8. Is m greater than or equal to -8?
False
Let q be ((-7)/(-28))/((-17)/(-32)). Let l(x) = -x**3 - x**2 + x. Let y be l(-1). Which is smaller: y or q?
y
Let h = 2.19 + 0.81. Let f(r) = -4*r**2 - 2*r - 2. Let b be f(-1). Let u be 1/b - (-7)/(-196). Do u and h have different values?
True
Let c be 13 + ((-24)/(-16) - (-400)/(-32)). Which is smaller: 30/121 or c?
30/121
Let v = -10685 - -10683.385. Is v >= 6?
False
Let z be 27/18*(-1)/96. Let d = 153 + -152. Which is greater: d or z?
d
Suppose 89 = 23*z + 43. Suppose z*r = -5*r - 413. Suppose -a + 3*o - 5*o - 57 = 0, 3*o - 298 = 5*a. Is r < a?
False
Let z(j) = 27*j + 45. Let w be z(10). Let f be (-192)/w - (-4 + 10/3). Which is smaller: -1 or f?
-1
Let m = 188.2 + -199. Let r = m + 31.8. Which is bigger: r or -1/5?
r
Suppose 8*y - 68 + 276 = 0. Let b(g) = g**2 + 16*g + 6. Let m be b(-16). Suppose 3*i - m = -84. Is i less than y?
False
Let m be 25644/(-2394) + 11 + (2/(-7))/1. Which is bigger: 1 or m?
1
Let b = 4734 + -4788. Suppose 0 = -0*o + 3*o + 171. Which is smaller: b or o?
o
Let a = 50/11 - 306/77. Which is smaller: a or -9/4?
-9/4
Let j = -6082 + 10140. Which is greater: j or 4056?
j
Let p(a) = -2*a - 6. Let n be p(3). Let t be 20/1*(-5)/((-150)/n). Let l(x) = x**3 + 9*x**2 + 8*x. Let v be l(t). Is v less than 1/79?
True
Suppose 3*a = -3*v + 24, -2*a + 279*v = 274*v + 33. Let m = 1/126 + 29/315. Are a and m non-equal?
True
Let c = 6332.101 - 6332. Is -33 less than c?
True
Let q be (369/(-24))/(1617/(-132)). Which is bigger: 1 or q?
q
Suppose -2*g + 44 = -5*p, -5*g + 86 = -2*p + 18. Suppose -4*w + 15 - 3 = 2*s, 4*s - 4*w + g = 0. Let r = -1885/184 - -83/8. Which is smaller: r or s?
s
Let k be (-2 + 1)/(23 + 9360/(-414)). Suppose 3*h - 9 = -3*p, 2 = p + 3*h - 11. Is k bigger than p?
False
Let o = -7218 + 6011. Is o at least as big as -1207?
True
Suppose -5 = 4*j - 3*s - 378, -2*j + 167 = 5*s. Suppose 60 = -31*v + j. Which is smaller: v or 1/87?
1/87
Let n(u) = -16*u**2 + 81*u - 5. Let d be n(-8). Do d and -1678 have the same value?
False
Let h = 27180 + -27180. Let q = -402 + 2419/6. Is h greater than q?
False
Let u = 844 - 256. Suppose -16*o + 9*o = -u. Let a = o + -45. Is -1 < a?
True
Let p(y) = 18*y**3 - y**2 + 2*y + 1. Let v be p(2). Suppose 4*o - 582 = -3*r, -4*o + 2*r = 5697 - 6289. Which is smaller: o or v?
v
Let s = 107 - 184. Let v = 11324 - 11401. Are v and s nonequal?
False
Let l = 467 - 826. Which is