me value?
False
Let s be (22/(-5) - -6)*(-125)/2. Let a be 2216/234 - (s/(-36) - 3). Which is bigger: a or 10?
10
Let h(k) = 431*k**2 - 4*k + 4. Let v be h(1). Let b = 416 - v. Is 13 smaller than b?
False
Let q = -191599/352260 - -1/18540. Let m be (-584)/219 + (3920/228)/7. Let t = q - m. Is t >= 0.034?
False
Let p = -264 - -270. Let f be (0 + 3)*(p + -10). Which is smaller: -5 or f?
f
Let c = 51 - 13. Let y = c - -60. Let x = 100 - y. Which is smaller: x or 14?
x
Let z(w) = w**3 + 9*w**2 + 9*w + 10. Let o be z(-8). Suppose 42 = -r + o. Let s = r - -38. Which is bigger: 1 or s?
1
Suppose 3*c - 5*c = -80. Let s be (-16)/c - (-54)/10. Let m = 62112 - 62105. Is m equal to s?
False
Suppose 4*f + 5*a = 96373, -2*a - 36037 = -2*f + 12127. Which is greater: f or 24086?
f
Let k be (-429 - 1)/2 + (38 + -19 - 24). Is k equal to -221?
False
Let l(g) = 2*g**2 - 10*g - 3. Let t be l(9). Let u = -62 + t. Suppose -u*b + 512 = 155. Which is greater: 49 or b?
b
Suppose -22*a + 5*a = -10*a + 30*a. Which is smaller: 7/32 or a?
a
Suppose -3*q - 239 = -4*s, -3*q - 73 - 104 = -3*s. Suppose -5*n + 38 = 15*p - 14*p, 0 = 3*p + n - 184. Which is bigger: s or p?
p
Let c = 105756167/2764 - 38262. Which is smaller: c or 0?
c
Let z be 1080/(-108) - (-1 + -12). Let n = -148/45 + 62/9. Is z smaller than n?
True
Let n = -9.56 + -38.42. Let x = -48 - n. Let l = -231/2 + 113. Does x = l?
False
Let l be -50*(-2)/(-28) + (-27)/(-9). Let d be (-1*(-5)/(-10))/(2/8). Which is greater: d or l?
l
Let u be 296/(-370)*(-6)/8 - (-3673)/(-6155). Does 1 = u?
False
Let h = 5 - 63. Let d = -528 + 527.43. Let r = 1.57 + d. Which is bigger: r or h?
r
Let x be (-34)/(-51) + (-23671)/(-3) - 1 - -7. Are 7897 and x nonequal?
False
Let v = 5924 - 5925. Are -6/2381 and v non-equal?
True
Suppose 0 = -4*x + 2 + 2. Let c be -1 + x + -2 + 0 + 3. Let f = 548 - 552. Which is bigger: c or f?
c
Let s = -116 + 162. Which is greater: s or 86?
86
Let g(w) = -w + 6. Let o be g(0). Suppose 3*z = 2*z - 4. Let a be (-1)/(-3) - (z + -9 + o). Does a = 7?
False
Let d(i) = -8*i - 7. Let j be d(-4). Let m be (-5)/(-10)*-6 + j. Let r = m + -25. Which is greater: r or 1?
1
Suppose -d - 542 + 542 = -12*d. Is 2/8951 not equal to d?
True
Let g = -61 - -129. Let y be (-12)/30 + (-4928)/(-70). Which is bigger: y or g?
y
Suppose 187 = p - 3*r - 2, 2*r = -5*p + 945. Suppose 3*l - p = -3*o, -3*o + 2*l + 329 = 2*o. Let v = -259/4 + o. Is v < -0.5?
False
Let u = -5 - 29. Let j = 24 + u. Let n be (j - -12)*(-1)/(-50). Which is greater: 2/3 or n?
2/3
Let s be (3 - (10 + -7))/2. Let h be 2 + 1 + -2 + 45. Suppose 5*r = -14 - h. Is r < s?
True
Let r = -684 + 674. Let v be (-19)/(-10)*-8 + 8/r. Which is bigger: 7 or v?
7
Let j be (-34)/(-6) + (-150)/90. Let u(d) = 3*d - 11. Let b be u(j). Does b = -1/6?
False
Suppose 3*u - 7 = 14. Suppose -385*d - 49 = -390*d + 3*p, 0 = -2*d - p + 2. Is d not equal to u?
True
Let r = -8418 - -9300. Are r and 2/25 unequal?
True
Let n = -0.7 - -0.05. Let q = n - -0.45. Let s = 23 + -44. Which is bigger: q or s?
q
Suppose 0 = 3*s - i + 70, 0 = 4*s - 2*i + 6*i + 120. Let n = 7 + -7. Suppose n = 4*c - c + 75. Is c at least as big as s?
True
Suppose 10*x - 7*x + 339 = -3*s, 0 = -3*s - 2*x - 342. Let v = 90 - 130. Let l be ((-44)/v - 1)/(2/s). Is -5 at least l?
True
Suppose -4*h = 2*w - 120, 0 = -w + 5*w + 3*h - 230. Suppose -m = -15*m + w. Which is greater: m or 10?
10
Let b be 11 + (-4 + (-102)/(-24))*-218. Let u = -2 + 3. Does u = b?
False
Let n(z) be the second derivative of -z**5/20 + 2*z**4/3 + z**3/6 - 4*z**2 + 12*z. Let q be n(8). Suppose q = -18*u + 20*u + 38. Which is greater: u or -17?
-17
Let g be 2/7 + 100/(-7). Let c = -1/9056 + -122255/9056. Is c smaller than g?
False
Let k = 11942.965 - 11943. Is 6.8 at least as big as k?
True
Suppose 0 = 4*i + 3*i - 21840. Let x be (1/2)/(15/i). Suppose 0 = -11*z + 15*z - x. Which is greater: 25 or z?
z
Let a = -0.5 - -0.2. Let t = 14.73 + -15.489. Let j = -0.569 - t. Are j and a equal?
False
Suppose 0 = -5*a - 2*b - 26, 5*a + 4*b = 7 - 29. Let x be 145*(6 + -5)/(-1). Let h = -152 - x. Which is smaller: a or h?
h
Let j(p) = -p**3 + 2*p**2 - 4*p - 123. Let d(i) = -2*i**3 + 5*i**2 - 9*i - 247. Let l(v) = 2*d(v) - 5*j(v). Let f be l(0). Let b = -603/5 + f. Is -1 at least b?
False
Let v = -1242 + 1257. Which is smaller: v or 1/70?
1/70
Let b = -34029.9 + 34030. Is -80.58 less than b?
True
Let y = -659154464/26399373 + -1216/40677. Let k = y - 60/649. Which is bigger: -24 or k?
-24
Suppose 652*c - 143*c + 5002961 = 0. Does c = -19655/2?
False
Let w be 4 - -3 - 675177/96506. Which is smaller: 1 or w?
w
Let p = -23697/2 - -12128. Do -3/2 and p have different values?
True
Let c = -6.59 - -11.84. Let o = c + -5.15. Which is smaller: -244 or o?
-244
Let d be (-1 - 315/49)/(10 + 576/(-56)). Which is greater: 108 or d?
108
Suppose 0 = -4*g - 3*v + 13281 - 858, 3*v = -5*g + 15528. Is g > 3105?
False
Let y be 0 - (-14 - -6 - -2). Let b = -132 - -54. Let m be (-104)/b*(1 - y/8). Is 0.025 less than m?
True
Suppose 24 = 2*m - 0. Let v be (8/((-128)/m))/(3/127). Let x = v - -32. Is x greater than 3?
False
Let c = -56.7 - -109.8. Let n = 40.45 - c. Let g = n + -0.35. Do g and -1/2 have the same value?
False
Let x = -30781 + 31936. Which is smaller: 1157 or x?
x
Suppose 7*a = 9787 - 26300. Let l = 16482/7 + a. Is -4 less than or equal to l?
False
Let c = 52149 + -1616479/31. Is c < 6?
True
Let s(m) = -6*m + 968*m**2 - 7 - 324*m**2 - 323*m**2 - 323*m**2. Let l = -7 - -4. Let t be s(l). Which is bigger: -4 or t?
-4
Let d(j) = 2*j**3 - 67*j**2 + 162*j - 106. Let c be d(31). Is c greater than or equal to 136?
False
Suppose -236 = 3*i + 2*j - 35, 2*j = -6. Is -65 >= i?
True
Let z(y) be the second derivative of -y**3 - 77*y**2/2 + 26*y - 1. Let l be z(-5). Are -6 and l equal?
False
Let p = -357 - -1128. Is p less than or equal to 2?
False
Let s(v) = v + 32. Let y be s(-7). Suppose -y = -96*h + 101*h. Let t be (-1 + 0)*(h + 5). Which is smaller: t or 12/35?
t
Let u = -282315.772 + 281838. Let g = 0.772 + u. Which is greater: g or -1?
-1
Let m = -0.12755 + 60.72755. Which is smaller: 10 or m?
10
Let p be (24/(-14))/(2/(-7)) + 11. Which is greater: p or 143/9?
p
Suppose -9*x - 4*j + 124 = -5*x, -5*x + 5*j = -115. Which is smaller: x or 55?
x
Let b = -33.979 + 34. Let l = -552.979 + 551. Let u = l - b. Which is smaller: u or 13?
u
Let u(w) = w**2 - 25*w - 836. Let g be u(-19). Is g smaller than -8/245?
False
Suppose y = 2*y. Suppose 5*u - 21 - 29 = y. Let c be u/(-11) - ((0 - -1) + -3). Do c and 2 have different values?
True
Let x(t) = -949*t - 1666. Let o be x(10). Is o greater than or equal to -11156?
True
Let w(y) = -2*y**2 + 14*y - 25. Let p be w(5). Let z = 6 + p. Which is smaller: 1/180 or z?
1/180
Let f(d) = d**3 - 4*d**2 - 448*d - 43. Let q be f(-20). Is -4105/6 greater than or equal to q?
False
Let y = 2594 - 2791. Let l = 0.58 + -0.38. Which is smaller: y or l?
y
Let r = 163 + -247. Let z = r + 84. Suppose 4*a + 6 = -2*j, 2*a - 2*j + 0*j = 6. Is z greater than or equal to a?
True
Suppose -426*m - 5 - 421 = 0. Is m at most -23/524?
True
Let s be (-3)/((-2114)/(-3144) - 4/6). Let y be (-12)/(-78) + s/26. Let b be 0 - (y/(-84))/((-4)/6). Is b at most as big as 0?
False
Suppose -l = -5*l + l. Suppose -i - 1 = l, -25*f + 2*i + 293 = -28*f. Which is smaller: f or -95?
f
Let a(q) = -2*q - 8. Let k be a(-7). Suppose 0*n = 6*n - k. Which is bigger: 2/75 or n?
n
Let i = -497 - -514.4. Let w = i + -14.4. Which is smaller: -2 or w?
-2
Let u be 20752/41440 + 2/(-4) - 0. Let t = u - 36279/24605. Does t = -1?
False
Suppose -10*l - l = 869. Let s = l + 65. Let z be 38/(-14) - -3 - 10/s. Which is smaller: z or 2/19?
2/19
Suppose 11*l - 16*l + 5275 = 0. Suppose 4*r + 193 + l = 0. Let k = 3117/10 + r. Is -4 greater than or equal to k?
False
Let p = -0.7 + 0.4. Let g = 50 + -47. Suppose g*c = 2*t - 1, 0 = 5*t - 3*c - 2*c - 5. Which is smaller: t or p?
p
Let t(h) be the first derivative of -h**4/4 - 5*h**3 + 11*h**2/2 - 90*h + 128. Let c be t(-16). Is -32/3 <= c?
True
Let d be 2/24 + ((-1825)/(-170674))/((-60)/490). Suppose -15 = -5*y, 6 = w + 2*y + 1. Is d != w?
True
Let w = 6880 + -7267. Which is smaller: -388 or w?
-388
Let f be (556/(-10))/(-40 - -39)*(-15)/(-6). Which is bigger: f or 1520/