et v = 1 - 0.9. Let f = -222.60364 - 1.39636. Is v less than f?
False
Let p be ((-8)/(-48))/(12/(-252)) - -1. Let v = 2 - 0. Suppose -m - 5 = v*h - 0*h, -5*h - 12 = 2*m. Do p and h have the same value?
False
Let d = -6831 - -6867. Let x = -42 + 8. Let a = d + x. Is a equal to 13?
False
Let t = -1130/19 + 107528/95. Which is smaller: 1073 or t?
t
Suppose -9*i = -8*i + 4. Let m be i/((-2585)/(-515) + -5). Let v = m + 1437/7. Is -1 at most v?
True
Let o be (1/(-2))/(222/(-36) + 6). Let q be ((-24)/8)/(o/(-3)). Suppose 2*m - 5*m - a = 7, -q*m + 5*a - 1 = 0. Is -1/31 at least m?
True
Let l = -22906 - -22907. Which is greater: -12/113 or l?
l
Let a be (4/(-10))/(2/10). Let p(z) be the second derivative of -z**5/20 - z**4/6 - z**3/3 - 5*z**2/2 - z - 1678. Let x be p(a). Is 6 <= x?
False
Suppose 5*i = -2*h - 427 - 665, 0 = 3*i + 2*h + 652. Let g = -223 - i. Which is bigger: g or -25/12?
-25/12
Suppose -3*w = -4*o + 296 - 50, 65 = o + w. Is 68 equal to o?
False
Suppose -5*k - 30 = 5*n - 0*k, -2*k - 8 = n. Suppose -3 = -5*b - 2*p, b - 47*p = -48*p. Let v be (-4 - (-8)/16) + (b - 2). Which is bigger: v or n?
n
Let h(s) = -2*s + 26. Suppose -23*d + 80 = -15*d. Let b be h(d). Suppose -14*a + b = -20*a. Which is greater: -3/19 or a?
-3/19
Let m be ((-3)/2)/3 - 414/4. Let g be m/(-18) + (-6)/(-27). Suppose -3*k - g = -k. Are -17/4 and k equal?
False
Suppose -3*j + 5*u + 58 = 0, -6*u = -4*j - 2*u + 64. Suppose 8*i - 19 = -j. Do i and -8/11 have the same value?
False
Let z = -11.094 - -10.894. Which is bigger: z or -17?
z
Suppose -4*k - 4*r + 1504 = 0, 0 = 4*k - 4*r - 1670 + 102. Is k not equal to 1150/3?
True
Let d be 4/6 - (-2)/9*51. Suppose 3*l - 4*m + 4 = 4*l, 0 = 2*l + 4*m - 16. Let h = l - d. Does 2 = h?
False
Suppose 2866296 = 4*p + 2*p. Let d = 11928827/25 - p. Let i = d + 563. Do 0 and i have different values?
True
Let t = 223/259 + -16/37. Suppose -7 = -4*g - 5*m, 0 = 4*g - 3*g + 2*m - 4. Let q be 2/g + -4 + 4. Which is bigger: q or t?
t
Let m(h) = -h**3 + 11*h**2 - 20*h - 8. Let d be m(9). Suppose -7*l = -0*l + 175. Which is smaller: l or d?
d
Suppose 0 = -18*y - 94 - 3632. Let f = y + 210. Is f less than or equal to -5?
False
Let d(g) = g**3 - 11*g**2 + 26*g + 11. Let j be d(5). Let q be (-54)/j + -12 - -8. Which is smaller: -1/8 or q?
-1/8
Let f = -23 - -16.1. Let x = f - -7.9. Which is bigger: 0.4 or x?
x
Let z(a) = -1481*a + 11727. Let r be z(13). Which is smaller: -7524 or r?
r
Let a(s) = -37*s**2 + 3*s - 7. Let n be a(7). Let j = -34189/19 - n. Suppose -f = -5*f. Is f smaller than j?
False
Let l = -7207 + 7207.1. Is l >= 6/667?
True
Let u be ((-13)/(-1053))/((-10)/12). Suppose -56*h + 10 = -5*j - 58*h, -5*j + 4*h = -20. Which is smaller: j or u?
u
Let p = 15387/16 + -961. Let v = -7/16 + p. Is -0.07 at least as big as v?
False
Let t be (-743)/13 - 4/26. Which is greater: -57 or t?
-57
Let w = 795067/4 + -197260. Which is smaller: 1507 or w?
w
Suppose -6*x - 696 = 708. Let a be (-2124)/x - (-4)/(-52). Which is smaller: 15 or a?
a
Let w be -1 + -4 + (8 - 13) + 5. Suppose 19 = 3*k - 4*j, -2*k + 0*j + 10 = -4*j. Let l be ((-6)/8)/(k/42). Which is greater: w or l?
l
Let i(l) = 8*l**2 - 7*l - 84 - 15*l - 9*l**2. Let f be i(-17). Let j be (-1)/(-2)*(-4)/300. Is f greater than j?
True
Suppose 2*r = -r + 9. Suppose 15 = -3*i, -4*i - 31 = -2*x - r*i. Suppose 0 = 20*o + 313298 - 313478. Does x = o?
False
Let j = -35702/75 - -476. Let k(g) = -2*g**3 + 130*g**2 + 405*g + 205. Let a be k(68). Is a at least j?
True
Let l be 1 - -1022 - (-4848)/404. Which is smaller: l or 1036?
l
Let n(l) = -4*l**2 - 5*l. Let b be ((-4)/2)/(6 + -5 - -1). Let v be n(b). Is -12 at least v?
False
Let a be (-9)/(1 + 2) - (-10 + 5). Let u be a/2*-26 - -4. Let q be ((-20)/u - 1)/1. Is 1 greater than or equal to q?
True
Suppose 21 = -i + 22. Let o be -2*1 + -4 + i + -1. Let p be 1037/15 - o/(-45). Which is smaller: 0.1 or p?
0.1
Let d be 0 + 1401 + 0/(12 - 30). Is 1399 > d?
False
Let n(d) = d + 6. Let j be n(-9). Suppose 7*y + 15 = -13. Let r be (y/(-12))/((2 + -1)/(-15)). Which is smaller: r or j?
r
Suppose -196*g = 30*g + 15142. Is -334/5 != g?
True
Let c be 2/(-42) + 1892/(-7392)*4052. Is -1036 less than c?
False
Let v(a) = 2*a**3 + 7*a**2 - 228*a + 22. Let o be v(9). Is -201/55 bigger than o?
True
Let x(d) = -3*d**2 - 91*d - 117. Let t be x(-29). Which is smaller: -16/51 or t?
t
Let d = -248 + 3214/13. Let n be -3 + (3 - 4/(-2)). Let k be ((-35)/(-10) - 6/n)*2. Which is smaller: d or k?
d
Let t = 21.6 + -32.2. Let y = 21.6 + t. Which is bigger: y or -5?
y
Let r = 2671 - 56090/21. Is 0 <= r?
True
Let h be -1*(-3 + 60)*(-16)/(-12). Let z = 88 + h. Let b be 3/z*(-48)/(-14). Which is greater: b or 1/3?
b
Let y = -54 + -178. Let l be (y/(-10))/((-28)/70). Which is bigger: l or -57?
-57
Let h = 87 + -104.1. Let q = h + 3.1. Let d be -4 - (3 - 76/12). Are d and q nonequal?
True
Let g = 420 - -347. Do g and 767 have different values?
False
Let o = -17 - 92. Let i = -152 - o. Is i bigger than -0.6?
False
Suppose 5583*v - 7831 + 55631 = 5563*v. Does -2388 = v?
False
Let b = 376 + -377. Which is smaller: 5/59 or b?
b
Let g = 5996 + -53962/9. Which is smaller: g or 2561?
g
Let c(z) = 5*z - 72. Let s be c(14). Let d be (19 + (-11 - -6))*s. Which is bigger: 1 or d?
1
Let g = -117 - -353/3. Let l be (-2 + 9)/((-4)/(-16)). Suppose 0 = -5*p + n + n - 35, 4*p = n - l. Is g greater than p?
True
Let i be (-49)/(-42)*108/(-84) + 9/2. Let d be (-104)/(-70)*(-5)/(-2). Which is greater: d or i?
d
Let d be 2/((-156)/(-37)) + 0. Let g = -190438/39 - -4883. Let a = g - d. Is -16 less than or equal to a?
True
Let v = -0.17 - 4.83. Let d = 4.8 + v. Let n be (-56)/(-3312)*15 - (-1)/(-6). Which is bigger: d or n?
n
Let y = 337.2 - 337.1388. Which is greater: 2 or y?
2
Let j = 2017268/1179 + -1711. Are 1 and j unequal?
True
Let i be -51*(-48)/(-2 + -4). Let j = -430 - i. Is j less than 0.01?
True
Suppose 29 - 8 = -7*p. Let n(c) = -203*c**3 - c**2. Let f be n(1). Let h be f/15*7/28. Is p less than or equal to h?
False
Let g be 252/268506 - ((0 + 2 - 1) + -1). Which is greater: g or 1?
1
Suppose 0 = -4*m - 2*v + 2792, 1783*m - 1781*m + 5*v - 1396 = 0. Are 698 and m unequal?
False
Let o = -50 - -29. Let u(n) = -71*n + 55. Let c be u(1). Is o equal to c?
False
Suppose -2*d = b + 1, b - 24 = -4*d + 7*d. Suppose 8*m - 17 = b*m. Is -8 > m?
True
Let t be (3 - -4 - -32)*(-8)/(-6). Let j be 4 - -7 - 1264/(-32). Which is greater: j or t?
t
Let d = 35/530739 - -3990978197/32905818. Let i = d + -364/3. Are i and 0.2 nonequal?
True
Let d = -1 + 1. Let y be (60/(-4) - -8)*26/7. Let x be -1*(11085/(-195) + 4/y). Do d and x have the same value?
False
Let s be ((-60)/(-105))/((-14)/(-147))*(-7)/(-42). Suppose 6 = -0*b - b. Let g be (3/b)/(19/2). Which is smaller: g or s?
g
Let t = -5519/340 + 491/17. Which is smaller: 14 or t?
t
Let n = -21 + 4. Suppose -u + 2 = -j, -2*j + 5 - 2 = 5*u. Let c(t) = 13*t - 5. Let o be c(j). Which is smaller: n or o?
o
Let p = -225/541 - -1797707/4319885. Is p less than 0?
False
Let x = -119 - -91. Let f = 27 + x. Is f smaller than -1.31?
False
Let d = 2428 - 2039. Which is smaller: 388 or d?
388
Let s = -195.97 + -0.03. Let y = 206 + s. Which is smaller: 3 or y?
3
Let g be 7 - (-23 + (-39)/(-3)). Which is greater: -89 or g?
g
Let d(f) be the first derivative of 5*f**2 - 6*f - 36. Let p be d(-4). Suppose x - 5*x - 192 = 0. Which is greater: p or x?
p
Let f = 2216 + -2560. Which is greater: f or -1036/3?
f
Let o(q) = 22*q**2 - 11*q - 88. Let n be o(-6). Which is greater: 1 or n?
n
Suppose f = -2, -4*f + 31 = -6*o + 3*o. Let m = -35 - o. Let x = 35481 - 35503. Is x greater than m?
False
Let r = 0 + -0.06. Let v = r - 1.44. Let q = 0.33644 - 0.23644. Which is smaller: v or q?
v
Let j = 606 + -638.62. Let l = 18.62 - 19. Let w = j + l. Is w greater than 1?
False
Let d = -329 - -334. Let a = 59 + -53. Which is greater: d or a?
a
Let x be ((-9)/(-50))/(10/(-4)). Suppose 550*r - 2211 = -2211. Is x not equal to r?
True
Let q = -94 + 129. Suppose -36*z + 196 = -q*z. Which is greater: 197 or z?
197
Let s(j) = -j**2 - 8*j + 8. Let b be s(-9). Let w be (2 - 0)*(b + (-22)/4). Let q = -21 - -7. Which is greater: w or q?
w
Let x be 3/12 - (-52)/(-16). Let r = -57 - -37. Let l be (-7)/(-12) - 5/r. Is x not eq