: f or 1037/13?
1037/13
Let q(v) = v**3 + 38*v**2 - 81*v - 35. Let s be q(-40). Suppose -3*a + 2*d = -154, a = 2*a + s*d - 57. Are 50 and a non-equal?
True
Let p = 0.1 + 0.9. Suppose 4*f - 3*g - 964 = 136, -5*g = f - 275. Let l = -246 + f. Is p equal to l?
False
Let y be (-5)/(-2) + 8 + 4878/(-12). Let c be y/(-11) + 4 + 1 + -1. Is 41 less than or equal to c?
False
Let n = 170 + -154. Suppose n = -t + 15. Is t smaller than -14/29?
True
Let f be 312/14 + 32/(-112). Let l = -10/67 - 47/134. Which is smaller: l or f?
l
Let y = -297/2 - -135. Let d(p) = p**2 + 64*p - 13. Let n be d(-64). Are n and y equal?
False
Let k be 11/3 - (4 - (-40)/(-12)). Suppose 0 = 2*a - i + 33, a = 2*a - k*i + 19. Let j = 16 + a. Is 4 not equal to j?
True
Let i = 51/203 - -1/29. Let n = -1/28 + i. Let v = -49 - -47.4. Are n and v equal?
False
Let g be 4/(-3)*(4 + 80/(-50)). Let d = 0.07 + -16.07. Let f = d + 15. Which is bigger: f or g?
f
Suppose -3*k - 2*v = 364, -2*v + 30 = 34. Let l be (0 - 0) + (k - 6)/(-6). Let c(p) = 6*p + 3. Let y be c(3). Are l and y unequal?
False
Let w(u) = 3*u**2 + 48*u. Let j be w(-16). Suppose -17 = 4*b - j*b - 5*k, 5*b + 5 = 3*k. Let r be (b/75)/((-8)/(-24)). Is r not equal to -0.01?
True
Suppose 0 = -32*t - 200 - 24. Let s(f) = 3*f + 15. Let w be s(t). Which is smaller: -51/8 or w?
-51/8
Suppose -3*a - 279 = -6*a. Let i = a - 45. Let w = 15 - i. Is w smaller than -33?
False
Let w be 25/(-15) - ((-28406)/21 - -5). Is w greater than or equal to 0?
True
Let s = 1/5556 + -2172401/27780. Which is bigger: s or -79?
s
Let x = 10268 - 10279. Which is smaller: -44 or x?
-44
Suppose -12*z = -16432 - 6356. Suppose -z = 5*h + 101. Which is smaller: -401 or h?
-401
Suppose -13*j - 309 = -36. Let f be (108/j)/(20/(-7) + 3). Let a = -77 + 42. Which is greater: f or a?
a
Let c = 0.226 - 169.226. Let k = c + 169.1. Is 23 bigger than k?
True
Let m = 1.236 + -741.236. Let i = m - -691.05. Let q = i - -49. Do q and 1/3 have the same value?
False
Let o be 13 + -8 + (-106)/22. Which is greater: 4055 or o?
4055
Let a be (-23)/(2 + (-145)/70). Let z be ((-314)/a - -2) + -1. Which is greater: z or 1?
1
Suppose -150 + 87 = -7*z. Let j(o) = -o**3 + 8*o**2 + 10*o - 9. Let l be j(z). Which is bigger: l or -1/170?
l
Let r be (-6)/12*12 - -695*2. Which is greater: 1385 or r?
1385
Suppose 0 = 22*g + 15*g - 185. Let n = 34 + -22. Suppose g*x - j - 136 = 0, -4*j = -x - 0*j + n. Is x smaller than 28?
False
Let g = 1286 - 1285.169. Let c = 0.86 - g. Let s = 0.429 - c. Which is smaller: s or -6?
-6
Let b(v) = -v**3 - 4*v**2 - 73*v - 293. Let q be b(-4). Which is smaller: q or 34/291?
q
Suppose 19*f = 22*f - 12. Suppose d = 2*u - 53 + 2, 4*u - 96 = f*d. Let b be -1 + -4 + 4 + 21/u. Do b and -3/35 have the same value?
False
Suppose 3*x + 3*o - 296 = -x, -4*o = 0. Let d = -143381 - -143456. Which is smaller: d or x?
x
Let q = -29.18 - -29.7. Let g = q + -1.52. Which is bigger: -10 or g?
g
Let g = 8283.9755 + -8284. Is 1/4 >= g?
True
Let y be 1/(((-4)/5)/(-4)) + 235/100. Which is smaller: y or 6?
6
Suppose 3 = -3*p + 2*g + 7, 5*g = -p + 7. Let o be (p - 284) + 55 + -49. Which is bigger: 2 or o?
2
Let f be 70/305*((-12)/3)/(-8). Which is smaller: -1 or f?
-1
Let m = -19.92 - 7.58. Which is bigger: 0.6 or m?
0.6
Let d be -6*(-192)/(-18)*1/4. Let y be 28/d*-4 + -3 - 118. Is -114 at most as big as y?
True
Let a be 88/(-9) + 6/(-27). Suppose -5*l - 4*p = -29, -4*l - 4*p + 28 = -2*p. Let f be (20/(-6))/(3/l). Is a != f?
False
Let p be (360/(-78))/12*(-3)/(-15). Which is bigger: p or 4/11?
4/11
Let z = 8032 - 8031.785. Is -3 > z?
False
Suppose -p = 3*f + 3 - 7, 12 = 3*p - f. Suppose t + 0 - 11 = 0. Suppose -17 = p*n + t. Which is smaller: -9 or n?
-9
Suppose 60 - 214 = -7*o. Let d be (-4)/440*394 - (-4)/o. Is -2 less than d?
False
Let g = 40.762 + -40.3. Let l = g - 33.462. Which is greater: l or 2/19?
2/19
Let p(h) = h**2 + 9*h + 13. Let d = 126 - 133. Let f be p(d). Let m be 84/18 + (-6)/2. Are m and f nonequal?
True
Suppose -3*q + 4*q = 3*h - 23, -5*h - 92 = 4*q. Let c be 45/5 + -9 + 100/(-1). Let z = c + 80. Is z smaller than q?
False
Let r be (1 - 2)/((-2)/28). Suppose 10*d = r*d + 216. Is -52 at most d?
False
Suppose -3052 = 1128*u - 1124*u. Is -762 greater than u?
True
Let l(o) = o**2 + 4*o + 10. Let v be l(0). Suppose -v*f - 11 = 129. Is f equal to -13?
False
Let n(j) = -3*j - 17*j - 3*j**2 - 52 - 3*j**2 + 5*j**2. Let g be n(-28). Which is smaller: -275 or g?
g
Suppose -3*m + 3 - 1 = -4*f, 0 = -5*m + 10. Let b be 18170/1515 + -6 - 6. Is f greater than b?
True
Let m = 7 - 7. Let u(l) = l**3 - l**2 + l - 44. Let f be u(m). Suppose -5346*r = -5330*r + 720. Which is smaller: f or r?
r
Suppose 12*a - 17*a = -135. Let x be (-567)/(-15) - (-4)/20. Let m = a - x. Is m greater than -11?
False
Let u = -511 + 46. Let w = u + 503. Is w at most 262/7?
False
Let n = 85067/4 + -21182. Which is bigger: n or 4?
n
Let x(b) = -b**3 + 21*b**2 - 23*b - 12. Let s be x(10). Let v = s - 858. Suppose 0 = 5*k - 6*l + 3*l - 3, 5*k - 1 = l. Is k less than v?
False
Let z be (-2)/((-716)/134)*(-18009286)/6. Let n = z + 1123484. Let h = -2/179 + n. Which is greater: 33 or h?
33
Suppose -87 + 39 = 2*n. Let y be ((-22)/n - (-6)/(-24))*-3. Let z be 20/y - (3 - 3)/4. Does -28/3 = z?
False
Let p be -5*45/(-25)*(-3)/(-9). Suppose -66 = -2*o + 5*o + 4*z, 4*o + 88 = -p*z. Let b = -38 - -16. Do o and b have different values?
False
Let b(w) = w**3 + 2*w**2 - 123*w + 362. Let j be b(8). Let q(i) = -3*i**2 + 2*i - 4. Let l be q(3). Let f = l - -43. Does f = j?
True
Let m be (67/(2680/112))/(65/300). Suppose 0 = -5*z + 28 + 42. Are z and m equal?
False
Let h = -17792.77 + 17793. Which is smaller: -35 or h?
-35
Suppose -32316 = 38*k - 26*k. Let p = k - -13336/5. Which is smaller: -25 or p?
p
Suppose -9*d - 2*l + 110 = -6*d, 5*d - 205 = l. Suppose 12 = -34*m + d*m. Let n = -0.3 + 0.4. Which is smaller: n or m?
n
Suppose 280 = -d - 5*g, -5*d + g + 88 = 1384. Is d > 1/10?
False
Let z = 454.9 + -455. Let i = -65 + 29. Is z greater than or equal to i?
True
Let t = 7538 - 7532. Is 4 != t?
True
Let n(a) = -6*a + 8. Let o be n(-6). Let c = 46 - o. Suppose 0 = -7*q + c*q - 115. Is -24 not equal to q?
True
Suppose 3*i + 237 = 6*i. Let o = 83 - i. Suppose -o*b - 5 = w, b = -2*w + 3 - 6. Are -11/7 and b non-equal?
True
Let w(l) = -7*l**3 - 16*l**2 - 33*l - 17. Let g(z) = -5*z**3 - 15*z**2 - 33*z - 16. Let s(k) = -3*g(k) + 2*w(k). Let j be s(-10). Are 0.04 and j non-equal?
True
Let f(z) = -15*z**3 - 8*z**2 + 3*z + 5. Let b be f(1). Let t be (-6)/(-28)*(40/b + 1). Let m = 3 - 4. Is m at least as big as t?
False
Suppose -12560 = 5*z - 3*r, -3*r + 5648 = -2*z + 624. Which is bigger: z or -2511?
-2511
Suppose 19*j - 3*k = 22*j - 135, -j - 4*k + 39 = 0. Let s = 2.3 + -2.5. Is s at most as big as j?
True
Suppose -3*v + w = 3, 1 = -v + 148*w - 145*w. Is v less than 42/103?
True
Let i(u) = -u**3 + 6*u**2 - 5*u + 4. Let z be i(5). Let n be 2 - 9/12*z. Let m be 4624/68 + 1*-9. Which is greater: m or n?
m
Let d = 432.444 - 437. Let u = -0.556 - d. Is u at least -1?
True
Let n = 166 + 0. Let p = n + -113. Let c = 3.68 + -3.78. Are c and p non-equal?
True
Let v be 29/(1856/(-167)) + (-3)/4. Which is smaller: v or -3?
v
Let o be 3/((-9)/15)*2/5. Let j be -3*o/((-180)/(-21)). Suppose 5*r = h + 11, 4*r - 2*h = h + 11. Which is bigger: j or r?
r
Let a = 48 + -53. Let k be (-6)/15 - (1311/(-15) - a). Suppose 0 = 2*f - 3*f - k. Is f >= -82?
True
Let h = 59747/18 - 3319. Let a = 0 - -1. Is a bigger than h?
True
Let a = 134704 + -20744487/154. Are a and 0 equal?
False
Suppose 11 = 6*n - 13. Suppose 4*h - 108 = -n*l, -3*l - 7*h + 8*h = -69. Which is greater: 28 or l?
28
Suppose 4*b + 238 = 2*u, -5*b + 4*u - 3*u = 293. Let c = -117 - b. Let i be (3 - 9) + -3 + -49. Which is smaller: i or c?
c
Suppose 2*d = -f - 326, -d + 1502 = -3*f + 545. Which is smaller: f or -319?
f
Let d = -15 + 64. Let w = 23269 + -23217. Which is bigger: w or d?
w
Let j(r) = -r**3 + 82*r**2 - 239*r + 157. Let q be j(79). Are -1/14362 and q non-equal?
True
Let x = -1495.4 - -1496.4. Is 9846 at least x?
True
Let k be ((-1)/(-19))/((-1)/(-7)). Let m be 4/(-9)*1 - 1784/(-4014). Which is greater: k or m?
k
Suppose 23*u = -5*p + 28*u, 0 = -u + 3. Let c be 1200/315 - (0 - 0). Is c at l