hich is greater: d or t?
t
Let d be (-429)/(-2079) - 2/(-9). Which is smaller: d or 0.4?
0.4
Let a = 61.87 + -59. Which is greater: a or 1?
a
Let x = 69/7 - 337/42. Let l = x - 5/2. Is l != -2?
True
Let h = 4123729/4151 - 6954/7. Let x = h - -12448/2965. Which is bigger: x or 4?
x
Let x(z) = z**2 + 5*z + 4. Let s be x(-11). Let q be 8/40 - 16864/s. Let v = q + 239. Is v less than or equal to -2?
False
Let r = 280 + 26. Do r and 307 have different values?
True
Let p(l) = -2*l + 10. Let n = 72 - 77. Let u be p(n). Which is bigger: u or 1?
u
Suppose 5*n = 4*h + 15, -11*n + 3*h + 16 = -12*n. Which is greater: n or 3/94?
3/94
Let v = -87 - -84. Let t be 1/v*594/(-24). Is 8 != t?
True
Let t = -38 - -21. Suppose 0 = 23*v + 664 - 250. Let p = t - v. Does p = 2/7?
False
Let d(f) = f**3 + 5*f**2 + 4*f. Let c be d(-4). Let g = 13 + -11. Suppose -g*l = l. Is c greater than l?
False
Let w(v) = -3*v - 11. Let l be w(-6). Suppose 0 = b - 4*q + 13 + 9, 4*b + 3*q = l. Let a be (6/(-9))/(b/(-3)). Which is smaller: 2/47 or a?
a
Let h be (42/(-4))/(18/120). Let a = 41 + h. Let q be a/9 + (-6)/(-27). Is q greater than or equal to -5?
True
Let j = -0.12 - -0.47. Let h = 5293 + -5292. Which is greater: h or j?
h
Suppose 27*s - 26*s = 0. Let m = -196 + 2159/11. Is s < m?
True
Let i = -0.548 + 21.948. Is i smaller than -2/5?
False
Suppose 0 = -3*h - y - y - 102, -5*h - y = 170. Which is smaller: h or -104/3?
-104/3
Let p = -714 + 677. Which is smaller: p or -38?
-38
Suppose 3300 = -25*j + 3*j. Which is smaller: -151 or j?
-151
Let r be (-1 + (-18)/(-4))*1/14. Which is bigger: -1.31 or r?
r
Suppose -3*c = -3, -15 = -7*v + 2*v + 5*c. Suppose 0 = 3*m - 17 + 5. Suppose -4*n + t = -10, -v*t = -m*n + 2 + 2. Is -1 equal to n?
False
Let y be (2 - 408/132)/(2/24). Which is smaller: -14 or y?
-14
Suppose -12 = -0*r + 2*r. Let g be -4 + 5 - (-772)/24. Let d = g + -33. Which is smaller: d or r?
r
Suppose -2*w = 2*l - 14, -l - 4*l + 4*w = -62. Suppose -x = -o + x + 9, -3*x = -5*o + l. Which is smaller: o or -2/51?
o
Let y be 8/136*-88 - (-15)/3. Suppose 3 = -h - 2*h. Which is smaller: h or y?
h
Let n = -90 + 88. Let d be 2/(0/(-4) - 1). Is n at least d?
True
Let f = -13.95 - 1.35. Let m = -15 - f. Let x = -0.4 + m. Which is bigger: 0.4 or x?
0.4
Let a = 611 - 426. Is 185 < a?
False
Let s be 4/34 + 420/476. Which is smaller: s or -227?
-227
Let i(h) = h**2 - 19*h + 37. Let u be i(19). Is u greater than 37?
False
Suppose 6*u - 22 + 4 = 0. Suppose -4*m = -0*m - u*r - 543, -5*m + 650 = 2*r. Suppose -10*o + m = -6*o. Is o less than or equal to 33?
True
Let b(f) = 2*f + 60. Let d be b(-20). Let g(t) = -t**2 + 22*t - 51. Let i be g(d). Is -120/11 at most i?
False
Let r be ((-12)/(-16))/((-9)/(-24)). Suppose -3 = -q + t, -3*q + 34 = r*t + 10. Is 0 bigger than q?
False
Let f = -30.28 + 31. Let a = f + -0.02. Which is smaller: a or -0.2?
-0.2
Let n(g) = g**3 - 6*g**2 + 5*g + 5. Let h be n(2). Let r be 2/(-3) + (-20)/(-39). Is r less than or equal to h?
False
Suppose 0 = h - 3*h - 20. Let i(x) = 4*x**2 - 5*x + 2. Let d be i(3). Let l = d - 33. Is h less than l?
False
Suppose -12*q - 252 - 156 = 0. Is q at most as big as -23?
True
Suppose 4*d - 35 = -5*c, 3*d = 2*c + 7 + 2. Suppose -5*v - 4*w + 4 = 0, -5*v + d*w - 5 = -2*v. Suppose -2*s + 2*i + 21 + 15 = v, -s - 3*i = 2. Is s > 14?
False
Let b = -80 - -31. Let m = -51 - b. Are m and 11 equal?
False
Let n = 240 + -240. Is 2/115 bigger than n?
True
Suppose -j = -5*c + 3*c - 2, -j = 3*c - 2. Let s be ((-288)/(-153))/(-1) + 1. Which is smaller: s or c?
s
Let w = -1/10 - -3/5. Suppose -k = 5*s - 13, 5*s = -3*k + 7 + 2. Let o be (-1*(2 + k))/2. Which is smaller: w or o?
o
Let y be (-67)/189 - (-30)/(-405). Suppose -3*r - v = -0*r + 9, -23 = 4*r + 5*v. Let n = r - -1. Are n and y non-equal?
True
Let c(f) = -f**3 + 13*f**2 + 21*f - 17. Let v = 68 + -54. Let j be c(v). Is j >= 80?
True
Let q = 4 + -5. Let y = -966 - -37672/39. Is q >= y?
False
Let b = 8.9156 - 0.1756. Which is smaller: b or 0?
0
Suppose 111*a + 3*h + 6007 = 115*a, -5*a + 2*h = -7514. Is a != 1504?
False
Let n be (-9)/(45/(-20)) - (-106)/(-7). Is -2/3 smaller than n?
False
Let v = -3 + 4. Let f = 2/1019 - 2120/41779. Let n = 160/1599 + f. Is n <= v?
True
Let o be ((-6)/(-4))/((-24)/(-16)). Let w(s) = -s**3 - 13*s**2 + 16*s + 28. Let i be w(-14). Suppose c - o = -i. Which is smaller: c or 2/3?
2/3
Let r(c) = c**3 + 47*c**2 - 8*c - 159. Let y be r(-47). Is 218 bigger than y?
True
Let l(h) = -5*h + 10. Let r be l(5). Let q be (-2)/r*-3*-23. Let m = -9 + q. Is m less than or equal to 0?
False
Let g = 358/17 + -21. Let u = g - 19/34. Which is smaller: u or -26?
-26
Let z(s) = -4*s - 40. Let b be z(-12). Suppose 96 = b*p - 240. Is 42 less than or equal to p?
True
Let a = 114 + -109. Suppose 0*j - 4*j = 4. Let d be 2*j*1/(-2). Which is greater: d or a?
a
Let d(n) = n**2 + 3*n - 1. Let h = -37 + 34. Let q be d(h). Let o be (-6)/(-104)*8/2. Which is smaller: q or o?
q
Let k be -6 - (-282)/54*1. Which is bigger: 0 or k?
0
Let s = 66 + -262. Is -7 at most s?
False
Let x = -172 + 249. Let f = 77.033 - x. Which is smaller: f or -1?
-1
Let w = -148 - -476. Is w greater than 327?
True
Let u(i) = 6*i**3 - 25*i**2 + 37*i - 13. Let j be u(5). Is 301 >= j?
True
Let w = -1245 + 1639. Which is smaller: 396 or w?
w
Let q = 451 + -7669/17. Is 26 equal to q?
False
Let h = 0 - 3. Let r be ((-2)/(-6))/(h/9). Let t be (-3 + 0 - -3)*r. Which is smaller: t or 2/3?
t
Let u = 0.19 - 17.19. Let g = 16.9 + u. Is -0.18 at least g?
False
Let a(r) = r**3 - 3*r**2 - 7. Let p be a(4). Let m be p*2/6*1. Suppose -5*b - 2 + 12 = 0. Which is smaller: m or b?
b
Let p be 5054/247 + (-6)/13. Is p greater than 0.4?
True
Let s(t) be the third derivative of t**4/12 + 7*t**3/3 + 8*t**2. Let a be s(-7). Suppose -b + 18 = -6*b + 4*n, a = b - n + 4. Which is smaller: 1 or b?
b
Let o be 0 - 125/(-2)*(-3)/(-15). Which is smaller: o or 0?
0
Let d = -0.9 - -1. Let y be (-15)/(5/(-1))*(-4 + 1)/36. Which is smaller: y or d?
y
Let p be 35/32 + 1*-1. Let c(z) = 3*z**2 + z - 3. Suppose -16*l = 4*l - 20. Let x be c(l). Are p and x non-equal?
True
Let s = 36 + -45. Let m be 158/(-4)*6/27. Let v = s - m. Which is smaller: v or -1/4?
-1/4
Let n = 0.51 - -11.49. Is -9 not equal to n?
True
Let c(p) = p**2 - 2*p + 3. Let t be c(2). Suppose -y - 11 = -2*w, 0*y - y + 9 = t*w. Which is bigger: w or 2?
w
Let y = -198 - -204. Let h = -2 + 9. Which is greater: h or y?
h
Let y = 1297.9 + -1247. Let s = 52 - y. Is s not equal to -0.1?
True
Let m = 4.5 - 0.5. Let y = 114 + -117. Which is smaller: y or m?
y
Let g be 64/(-2800)*((-20)/(-16))/(-5). Which is smaller: g or -1?
-1
Let c = -68.2 + 69.2. Which is smaller: c or -928?
-928
Let w = -682 + 682. Which is smaller: w or 4/47?
w
Let k = 650 + -650. Is k > -1712?
True
Suppose l + 4*x - 8 = 6, 3*l + 4*x - 18 = 0. Suppose l*j + 5*g - 24 = g, -j - 5*g = -27. Is 2 less than j?
False
Let s(y) = -y**2 - 8*y + 1. Let i(t) = 2*t**2 + 9*t - 1. Let b(k) = -2*i(k) - 3*s(k). Let a be b(6). Which is bigger: a or -6/5?
a
Suppose 430 = -5*q + 5*c, -4*q - 74 - 266 = -5*c. Let f = q - -90. Let j = 11 - 8. Are j and f unequal?
True
Suppose 0 = 27*z + 19 + 8. Are 4/35 and z unequal?
True
Let y = -396 + 406. Let o = 0.05 - 2.05. Is y greater than o?
True
Let l be 3/(-18) + 3*393/7002. Is 0 <= l?
True
Let c be ((-23)/(-4))/((-35)/(-140)) - 6. Which is bigger: 3/4 or c?
c
Let j = 2311 + -23099/10. Is j != 8?
True
Let h be (6/(-7))/(2/(-7)). Suppose -3*v - 2*u + 114 = -7*v, -4*v - h*u - 129 = 0. Let z be 18/27 - (-32)/v. Is z bigger than -1?
True
Let j = 16.08 + 5.92. Is j not equal to -2/19?
True
Let i = 4.0462 + -0.0462. Is i smaller than 0?
False
Let b = 3529 + -3529. Let v = 141/755 + 2/151. Is v greater than b?
True
Let d = 29.525 + 0.475. Let y = -40 - -159/4. Which is greater: y or d?
d
Let v(o) = o**2 + 4*o + 13. Let x be v(-8). Let z = -76 + x. Which is greater: -30 or z?
-30
Let x be (-1)/7 - 345/35. Let q be 4/(-10) - x/25. Let g be 2*(q + 2) - 3. Are 4/9 and g equal?
False
Let r = -22619/104 - -1711/8. Which is greater: -4 or r?
r
Let n = 2.2 + 0.1. Let q = n - 3.3. Let p = -2 + 3. Is p >= q?
True
Let c = 101 + -104. Which is greater: c or 10?
10
Let v = 106 - -109. Is v at least 216?
False
Let r = -174 + 196. Which 