41/5 or i?
-41/5
Let x(o) = 2*o + o - 7*o + 11 - 4*o. Let p(n) = 16*n - 21. Let h(f) = 4*p(f) + 9*x(f). Let i be h(2). Is i bigger than -9/13?
False
Let f = -938206/29 + 32352. Which is bigger: -1574 or f?
f
Suppose -5*w = -5*j + 145, 3*w + j - 2 = -109. Suppose 6*o - 9 = 3. Let p be o*(-3)/2 - 31. Is p > w?
False
Let q = 1609 - 1608.855. Which is bigger: -4 or q?
q
Let j be ((-7)/2458)/(-16 + 6 - 133/(-14)). Is j not equal to 1?
True
Suppose -3*n - 28 = -151. Let b = n - 42. Let f = 31 + -27. Do b and f have different values?
True
Let g(o) = -o**3 - 4*o**2 - 191*o + 582. Let s be g(3). Are s and -47 equal?
False
Suppose -32 = -80*l + 76*l, 3*x = 3*l - 4647. Which is greater: -1542 or x?
x
Let r = 9393 - 197347/21. Is r at least as big as -5?
True
Let j = 145/11 - 991/66. Let u = -5163 + 5160. Is j >= u?
True
Suppose -39*a = -83 + 5. Suppose 5*p + h = 0, a*h - 7 - 4 = p. Is p greater than -4/181?
False
Let g(r) = 23*r - 115*r**2 + 222*r**2 + 3 - 112*r**2. Let x be g(4). Suppose 3 - 33 = -2*p. Does p = x?
True
Let n = 717 + -716. Let u be (n + 0)*-1*(-6030)/90. Let d be -2*(-2)/(-4)*-67. Is d at least u?
True
Suppose -9*w = -33 + 15. Suppose -2*q = w*z - 132, 4*q + 4*z = q + 197. Which is bigger: q or 65?
q
Let b be (13265943/(-884337) - (0 + -8)) + 4 + 3. Which is greater: 0 or b?
0
Let h(f) = -2*f. Let x(r) = -2*r - 278. Let v(q) = -2*h(q) - x(q). Let l be v(-49). Which is smaller: -140/9 or l?
l
Suppose -n = -2 - 3. Let c = -445 + 447. Suppose 2*w + 89 - 87 = -2*b, -c*w = -4*b - 22. Is n greater than w?
True
Let r = -1056956/694059 - 30/7463. Let m = 6/31 + r. Which is smaller: m or 0.6?
m
Let z(s) = -2*s**2 + 114*s - 784. Let j be z(49). Is -5/478 >= j?
False
Let x = -35.2 - -0.2. Let i = -2 + x. Let b = 38 + i. Which is smaller: 0.3 or b?
0.3
Let u = -823/12 - -206/3. Let q be (-3 - -1)*(-2)/4. Is u < q?
True
Let m = -0.4178 - -0.0108. Let k = m + 0.407. Let h = -0.02 + -1.98. Which is greater: h or k?
k
Let y = -211604.9 - -211605. Let l = 19 + -17.24. Is y smaller than l?
True
Let q be -4 + 6 - (376224/11526)/(-1). Let m = 588/17 - q. Which is smaller: -1 or m?
-1
Let t = 1074 - 239. Which is smaller: 1 or t?
1
Let w = 81 + -37. Let f(d) = -d**3 - 19*d**2 + 20*d. Let y be f(-20). Let u be 221/(-182) - (3/(-2) + y). Is w >= u?
True
Let w = -36 + 40. Suppose w = 4*r - 0*r + l, -3*l = 0. Let z be 0 - 7 - (-1 + r). Which is greater: 0.2 or z?
0.2
Suppose 46*r - 42*r - 236 = 0. Let m(c) = -3*c - 28 + 101 - 28. Let j be m(-5). Is r less than j?
True
Let g = -28.53 + 33.53. Which is bigger: -26 or g?
g
Let y(w) be the second derivative of -1/12*w**4 - 3/2*w**3 + 0 + 9/2*w**2 + 20*w. Let r be y(-10). Do -7/8 and r have the same value?
False
Let o = 323505 + -1625294/5. Which is smaller: -1553 or o?
o
Let s = -283 + 274. Let x be ((-7)/(-5))/(s*2/(-126)). Let j be 4 + (-2 - 1) + 8. Is j at least x?
False
Let d = -149/12 + -371/60. Which is smaller: d or 1?
d
Suppose 0 = -7*k + 8*k - 3. Let c be (2/k)/(8/48). Suppose u = -3 + c. Is 1 less than or equal to u?
True
Let d = 74 - 75. Let j be (16/(-12))/d*144/2. Suppose 0*g - 4*g = -j. Is 24 > g?
False
Let x(v) = -18*v + 72. Let a be x(4). Suppose a = 22*c - 20*c. Do c and 195 have the same value?
False
Let o = -38.92 - -36.92. Which is greater: o or 1/96?
1/96
Suppose 1147 - 343 = -4*a. Let b be (89 - 87)*(0 - -2 - a). Is b at least 407?
False
Let q(c) = c**2 + 3*c - 13. Let v be q(3). Let u be (-20)/(-3)*(-36)/v. Let s = u - -45. Which is greater: 0 or s?
0
Let y(s) = 206*s - 3708. Let m be y(18). Which is greater: m or -2/28571?
m
Let y = 13432 - 9018. Do 4415 and y have different values?
True
Let c be 201/3 - (4 - 6). Let g = -120 + 122. Suppose j + g*j = -c. Which is greater: -22 or j?
-22
Let h = -189 + 297. Let z = h + -108. Let g = 1.19 - 1.1. Are z and g unequal?
True
Let m be -28 + 165 - (0 + -1 - -2). Let j be 6/(-9)*(-6)/m. Which is greater: -1 or j?
j
Let l = -0.013 + 0.099. Let t = l + -0.032. Let x = 2.054 - t. Which is smaller: x or -0.8?
-0.8
Suppose 5*c + 4*w - 803 = 0, -36*w + 35*w - 148 = -c. Let r be -39*(-4)/30*30. Is r at most as big as c?
False
Let c be (4236/(-45))/((-472)/(-354)). Is -4 equal to c?
False
Suppose -56 = -16*m - 8. Suppose 0 = m*d + 2 + 1, -3*z = d + 211. Are z and -71 unequal?
True
Let v = 259 - 302. Let m = 4.5 - -0.1. Let b = m - 2.6. Are b and v unequal?
True
Suppose -2 = w - 4*q, -5*q + 4 = 4*w - 9*q. Suppose 79*f = 78*f + w. Suppose -15*j - 143 = -f*j. Which is greater: -10 or j?
-10
Let z = -0.28203 - 0.01797. Which is greater: 7 or z?
7
Let o(h) = 64*h - 4. Let y = 49 + -48. Let z be o(y). Let u = 60 - z. Is u <= 5?
True
Let p = 1077.14 + -1077. Is -22 <= p?
True
Let o = 145.78 - -510.22. Which is bigger: -11/3 or o?
o
Let q = -339 + 247. Let c = -91.48 - q. Is 3 equal to c?
False
Suppose 3*k = 24*k + 168. Let m be (((-24)/27)/k)/((-2)/(-9)). Which is smaller: m or -0.05?
-0.05
Let z = 7.53 + -137.33. Let x = 154.1 - 23.1. Let g = z + x. Which is smaller: g or -0.1?
-0.1
Let v = -1/40 + -393/280. Let t = 15 + -11. Suppose -5*x = -i + 2*i + 20, -5*i = x + t. Is i at least v?
True
Let g = -9.495 + 89.155. Let z = 78 - g. Which is smaller: -1/3 or z?
z
Let m(d) be the third derivative of -d**5/60 - d**4/24 + 5*d**3/2 + 15*d**2. Let v be m(5). Let f be 818/230 + 9/v + -3. Which is smaller: f or -1?
-1
Suppose -2*l + 118 = 4*m, -m + 2*l - 9 = -31. Suppose f = -2*s - 11, -23*f - 5 = -m*f + 2*s. Is f at least 2/75?
False
Let r be ((-6)/(-21)*-1)/(1/(-7)). Suppose r*n = -0 + 70. Suppose -2*m - 3*m = n. Do m and 1/3 have the same value?
False
Let k = -305/36 - -74/9. Is -54 smaller than k?
True
Let w = -341 + 313. Let g(y) = 27*y**3 + y. Let m be g(-1). Are w and m nonequal?
False
Let p(j) = 249*j + 3217. Let c be p(-7). Is c at least 1474?
True
Let b be 2121/14*4/3. Suppose -2*w + 4*s + 123 = 35, -4*w - 5*s + b = 0. Suppose v = -0*a + 4*a + 90, -2*a - w = v. Is a <= -23?
True
Let w be (4 + -2 - 255/(-12))*723/(-30366). Is w greater than or equal to 0?
False
Let r = 1086 - 656. Let u = r + -435. Which is smaller: -7 or u?
-7
Let d = -296 + 296. Suppose -4*n + 68 + 72 = d. Which is smaller: -4/3 or n?
-4/3
Let b = -2875/8 + 15591117/43384. Is b greater than -1?
True
Let m be 310/4*(-258 + 256). Is -157 not equal to m?
True
Let m = 47141 - 47141. Is -1/4902 smaller than m?
True
Let t = 5543 - 5542. Which is smaller: -287 or t?
-287
Let p(y) = 5*y - 69. Let v be p(16). Suppose -5*f - 32 = v*f. Which is bigger: -2.5 or f?
f
Let d = 1365 + -1391.4. Is 7/5 <= d?
False
Let k be (2/(-5 - 25))/(1547/(-234)). Is 0 at most k?
True
Suppose -j - 60 = 4*m, 3*m = 5*j - 51 - 17. Let h be (m/(-3))/((-6)/(-279)). Let x be (-1)/(-1)*1 - h/341. Which is smaller: -2/9 or x?
-2/9
Let u be (-2)/3*6 - (4 + -8). Suppose u = 3*l - 6. Which is bigger: -4 or l?
l
Suppose -622 = -5*u - 2*w, 4*u + 0*u = -3*w + 492. Let l = -123 + u. Let q be (-10)/l*(-54)/(-12). Which is greater: -57/4 or q?
-57/4
Let i = -814 + 816. Suppose 0 = u + 2*c - 18, -5*c + 15 + 0 = 0. Let l be -4 - -1 - (-45)/u. Which is smaller: l or i?
l
Let b be (-20)/(-2) + (-138414)/(-918). Is b equal to 161?
False
Let z = -2672.1 - -2572.972. Let m = 99 + z. Let a = -1.872 + m. Is -13 < a?
True
Let i(d) = -4*d + 33. Let o(f) = -3*f + 102. Let u be o(31). Let l be i(u). Do l and -102/23 have the same value?
False
Let j(f) = -f**2 - f - 43461*f**3 + 5 + 43464*f**3 + 2*f**2 - 5. Let t be 8/(-5) + 4/(-10). Let d be j(t). Is 0 > d?
True
Let s = 6733 + -275976/41. Which is bigger: s or 2?
2
Let j be 1/((-4)/(-34))*9/((-90)/4). Let y(u) = u**2 + 10*u - 4. Let z be y(-10). Which is smaller: j or z?
z
Suppose 18*l = 12*l - 9354. Let q = l - -7752/5. Is -8 > q?
True
Let f be (0 - -1)/(2/26). Suppose 4*x = f - 53. Let s = x + 37/3. Is 3 greater than or equal to s?
True
Suppose -2260 = -5*x - 5*a, 5*a - 3*a - 2254 = -5*x. Let y be (1/(-10))/1*x/(-12). Which is smaller: y or 5?
y
Let u = 485 + -478. Let i be -8 - (-1 + u) - 5. Let n = 14 - 30. Is i less than n?
True
Let v = -484 + 756. Let r = 281 - v. Is r smaller than 10?
True
Let i(r) = 2*r - 6. Let v be i(4). Suppose 6*y - 8 = -v. Let a = 3637/28 - 130. Which is greater: a or y?
y
Let d be ((-10)/(-2))/((0 - -4) + -5). Let n be d/8*(0 + 1). Let v(x) = -x. Let j be v(2). Which is s