 or v?
n
Let c be ((-338)/429)/(1/3). Let j(l) = -l**3 + l**2 + 3*l - 5. Let p be j(2). Which is smaller: c or p?
p
Let g = 163 + -153. Suppose 0 = -g*l + 6 + 44. Is 27/7 bigger than l?
False
Let u = -2853.95 + 2854. Which is smaller: u or 8?
u
Let d = -181019 + 181044. Let k = -553/6 + 92. Which is smaller: k or d?
k
Let b = -38107 - -190598/5. Which is greater: 6/13 or b?
b
Let d = -0.08064 + 2.08064. Which is greater: 1.871 or d?
d
Let z = 30.028 - 0.028. Let k = -137 - -105. Let i = k + z. Is 5 not equal to i?
True
Let k = 477302457/134 - 3562036. Let w = 76/67 - k. Which is greater: 79 or w?
79
Let d be 58/(-551) - (-4 + (-333676)/(-85576)). Do d and -1 have different values?
True
Let j = -517/8 + 16023/248. Which is bigger: j or -3/5?
j
Let k = 2 - -307. Suppose -v = 2*l + k, -2*v - 64 = -3*l - 531. Which is greater: l or 0.1?
0.1
Let v = -39 - -33. Let j be (-686)/1155 - v/(-45). Let f = -149/220 - j. Is 1 > f?
True
Let i be 35786/(-29805) - (-2676)/2230. Is -0.1 > i?
False
Let j(g) = -g**2 + 60*g + 1777. Let p be j(81). Which is bigger: p or 526/7?
p
Let i be 62799/(-484)*(3 - 29/3). Are i and 859 equal?
False
Let w = 2/585 - 15799/1170. Let c be (4/4 - 19) + 4. Which is smaller: c or w?
c
Let j be (-54)/(-270)*(-5)/3*(-9)/(-3). Which is greater: j or -1/19604?
-1/19604
Let y(n) = n**2 + n - 7. Let i be y(-3). Let u be (5 - 4)/(i/(-5)). Suppose u*m + 6 = 1. Which is smaller: -2/51 or m?
m
Let m be 1 - 0 - -6 - 14/7. Suppose 2*c - c - 3*f = 0, m*c + 3*f = 0. Let j be (c - 4) + ((-1)/1 - -1). Is j greater than -23/6?
False
Let x = 1/182 + 323/7462. Is 4/9 not equal to x?
True
Suppose -46 = -2*o + t, -5*t + 173 - 43 = 5*o. Let w be 95*9/36 + (-2)/(-8). Does o = w?
True
Suppose g + 44 = -g. Let f be 3*(-5 - g/6 - -1). Is 2/113 bigger than f?
True
Suppose -1043*v + 1034*v = -2016. Suppose -m + 221 = 2*s, m + 5*s - 665 = -2*m. Which is bigger: v or m?
m
Suppose 2*j = 5*k - 1 + 3, -4*k - 5 = -5*j. Let d = 24872/2465 + -172/17. Which is smaller: j or d?
d
Let j = 3.25 - 0.15. Suppose 495 = 10*b + 95. Let x be (-2)/(12/14)*b/420. Which is smaller: j or x?
x
Let j = 5.66 - 0.86. Let h = j - 0.8. Are -0.3 and h nonequal?
True
Let d = 2.91 + -1.39. Let v = d - 1.62. Suppose l - 4*f = -14, 2*l - 3*f = -l - 15. Is l bigger than v?
False
Let t = 26848 + -26849. Is 1176 greater than or equal to t?
True
Let g = 1 + 3. Suppose 1 = -4*c + 3*c - 4*t, 21 = -5*c - g*t. Let k = c + 5. Which is greater: 5/6 or k?
5/6
Suppose 3*x = 2*j + 42, 2*x = 2*j - 0*x + 38. Let v be 3/2 - (1155/(-14))/j. Is 2 != v?
True
Let g = 8020 + -10566. Is -2547 <= g?
True
Let c be (-1)/8*-78*20/15. Let a be -76 + 69 + 99/c. Are a and 2 equal?
False
Suppose -5*t = 515 - 510. Let v be (t/(-2))/(23/(-92)) + -1. Let j = -474/7 + 68. Is v < j?
True
Let d = 3023 - 3023.045. Which is smaller: 0.11 or d?
d
Let q = -2865 - -45843/16. Suppose 0*r = -4*l + 2*r + 50, -3*l + 27 = 2*r. Suppose l = 4*b + 3*o, 0 = -b - o + 5*o - 21. Is b at most q?
True
Let l = -823 + 825. Let r(s) = s**3 - 4*s**2 - 5*s - 2. Let y be r(5). Let h be 1 + (6/(-9) - y). Which is greater: h or l?
h
Let p be (3 - (-1018 - 0))*((-490)/10)/7. Is -7147 equal to p?
True
Let q be -3*2 + (-483)/(20 + -13). Let m = 18525674/27 - 686061. Let c = q + m. Which is bigger: -1 or c?
c
Let u = 54 - 46.2. Let b = 7.6 - u. Is b <= 1/121?
True
Let m(j) = j**3 - 5*j**2 - 2*j + 3. Let o be m(5). Suppose -70*q - 414 - 47 - 169 = 0. Is o smaller than q?
False
Let p = 1735 - 1735. Which is smaller: p or -2/6843?
-2/6843
Let o = -15.99 + 22.854. Let u = -0.036 - o. Let j = 6.9 + u. Which is smaller: j or -0.01?
-0.01
Let n = 869 + -784. Suppose -n*u - 1092 = -89*u. Is 271 < u?
True
Suppose 4*z + 94945 = 5*o, 3*z = 3*o - 7*o - 71170. Let p be (-57012)/z + -2 - 2/5. Which is smaller: -1 or p?
-1
Let b = -314 - -290. Let d be 52/(-14) + b/84. Is 10 not equal to d?
True
Let n be (-2)/25 - (-8602174)/(-950). Does -9055 = n?
True
Let f(k) = 17 + 85*k + 56*k + 12*k**2 + k**3 - 111*k - k**2. Let c be f(-8). Is c != -31?
False
Let n = -1281.7 + 1284.7. Is -4/309 smaller than n?
True
Suppose 0 = 3*t + 3*q - 188 - 43, t - 5*q - 101 = 0. Do t and 79 have the same value?
False
Let j = 18477 - 4194260/227. Which is smaller: 0 or j?
0
Let z be (-28)/3*102/(-136). Let c be -68 + 0 + -3 + z. Which is smaller: -62 or c?
c
Suppose 5*h - n + 0*n - 18 = 0, -4*h - n = -9. Suppose 10 = -5*g + 5*w + 65, h*g - 5*w = 43. Suppose 13 = -s + g. Is -11/2 less than or equal to s?
False
Let g = 12 + -4. Let x(l) = -l**3 - 3*l**2 + 4*l - 21. Let h be x(-5). Which is smaller: h or g?
g
Let x(w) = -100*w**3 + 17*w**2 - 7*w - 24. Let g be x(-1). Suppose 5*r = -5*h + 4*h - 6, 5*h = 4*r + 28. Suppose u = 5*q + 105, -h*q + 296 = 4*u - u. Is g > u?
False
Let l = 12.2 - 12.12. Let y = 15.7 + -25.7. Which is greater: y or l?
l
Let l = 1 + -1. Let z(g) = -13*g + 68. Let b be z(5). Suppose 2*o + r = -2, 0 = b*o + 4*r - 9*r - 23. Do o and l have the same value?
False
Let k = -0.2 + -0.8. Let t = k + 0.9. Let j be 3/(-11) + 2581/1276. Which is smaller: j or t?
t
Let a be -7 + (-5868)/(-32) + -5 + -7. Is 163 bigger than a?
False
Suppose -52*d + 90 = -47*d. Let i be 4/d + 308/882. Is 1 != i?
True
Let r be (493/(-2516) + 4/(-74))/(1/4). Is r bigger than 15/206?
False
Let x = -0.8 - 1.2. Let c be (-404)/2*(-4 + 5). Let p = c - -202. Is p >= x?
True
Let k = -7018 - -18878. Are -0.1 and k nonequal?
True
Let y(h) = h**3 + 14*h**2 + 14*h - 6. Let q be y(-13). Let v(w) = -w**2 - 23*w - 50. Let c be v(q). Let j be 90/c + (60/(-4))/5. Which is bigger: 0 or j?
j
Let p be (133/(-21) + 4)/(5/(-15)). Suppose 2*t + 48 = -3*n, 0 = 4*n - n - 2*t + 48. Is n > p?
False
Let s = -8642 + 8643. Which is greater: 13/324 or s?
s
Let n(p) = -16 - 8*p + 15*p**2 - 8*p + 191*p**3 + 3*p**2 - 192*p**3. Let h be 4*4 - 3/(-3). Let g be n(h). Is g >= 11/5?
False
Let v = 27 + -21. Let g be v/14*-1*-7. Suppose 0*h = g*h - 6. Which is bigger: h or 6/11?
h
Let x(s) = -s**2 + s. Let c(v) = -2*v**2 + 3*v + 1. Let w(f) = c(f) - 3*x(f). Let m be w(2). Suppose 5*a + 27 = -3*o + 4*o, -m = a. Which is bigger: o or 5/2?
5/2
Let h = -155 - -2633/17. Let k = 21.7 + -4.7. Let m = k + -22. Is h != m?
True
Let y = 113 - 112.706. Let c be (223/446)/(3/12). Which is smaller: c or y?
y
Let w(r) = -r**3 - 14*r**2 - 12*r + 13. Let x be w(-13). Suppose -9*a - 193 - 482 = x. Let c = -89 - a. Which is smaller: -2 or c?
c
Let c = 294 - 294.1. Let p = 151 + -492. Is c greater than p?
True
Let k be 6/(-1) - (-11 - -16)*4372/(-3530). Which is smaller: -1 or k?
-1
Let j = -26 - -35. Let k be 270/(-9)*(-1)/2. Suppose 3*w - t - k = 4*t, t + 7 = w. Which is greater: j or w?
w
Let r = -40 + 39.78. Let x = r - -0.52. Let h = x - 1.3. Is -0.01 less than h?
False
Let s = -22 - -22.1. Let r = 0.021 - 26.021. Let f = r - -26.01. Is s != f?
True
Let s(i) be the third derivative of -i**5/60 - 35*i**4/24 - 11*i**3/3 - 5*i**2 - 3. Let o be s(-35). Which is smaller: -2/7 or o?
o
Let w = 0 + -1. Suppose -186 = -s - 162. Suppose -49*a + 41*a + s = 0. Are a and w nonequal?
True
Let r = -41 - -21. Let h be (-204)/r - 2/10. Let j be (1/((-15)/h))/(26/(-2)). Are 0 and j equal?
False
Suppose -35 = -7*f - 14. Suppose -3*g = -u + 63, 2*u + 2*u - 261 = f*g. Let j be (-4)/15*(-3 - u/(-20)). Are j and -0.6 unequal?
True
Let q = -21/314 - -613619/942. Let s = -21206/33 + q. Which is bigger: s or 8?
s
Suppose 16 = 2*d - 2*s, -5*d = -8*d - s + 44. Suppose -3198 - 672 = -320*q + 930. Which is smaller: q or d?
d
Let t = -633 + 1123. Let k be (t/(-1896))/1 + 4/16. Let h = -16 + 17. Which is smaller: h or k?
k
Suppose 0 = 33*h - 27 - 138. Suppose -n = 5*r + h, 3*r = -0*r - 5*n + 19. Which is smaller: -11 or r?
-11
Let w = 0.13 + -0.33. Let z = w + -14.8. Let o be ((-276)/(-21))/23 - (-10)/56. Is z at least as big as o?
False
Let t = -547.8 + 548. Suppose 4*u + u + 60 = 0. Let g be (6/945)/(4/u). Is g equal to t?
False
Suppose 2*p = -p + 162. Let y(w) = -58*w + 2954. Let u be y(50). Are p and u unequal?
False
Let d = 953 + 1089. Is 0 at least d?
False
Suppose -20 = -0*z - 4*z. Let y = -15693 + 15699. Which is smaller: y or z?
z
Let a = 885.9 - 895. Let b = 9.2757 - -0.0543. Let d = b + a. Which is smaller: d or -0.1?
-0.1
Let i = -640 - -126721/198. Suppose -q - 4*q = 5. Which i