se
Let g = 550582/43 - 12804. Let v = 1188/7 + -170. Are g and v equal?
False
Let u be 6/14*(-5)/(-150)*455. Let p = -12 + 20. Is u != p?
True
Let a be ((-23)/((-230)/220))/(-2). Are a and -209/21 unequal?
True
Let s be (6/7)/((-30)/105). Let w be -4 + 0 - 17/4*s. Is w at least 8?
True
Let p be -5 + ((-704)/(-84))/4*3. Suppose -6*q = -21 + 9. Are q and p unequal?
True
Let j = -49.493 - 0.007. Let t = 99 - 149. Let v = j - t. Is v less than or equal to -0.1?
False
Let a(t) be the third derivative of t**5/10 + 11*t**4/24 - 5*t**3 - 16*t**2 + 2. Let q be a(3). Which is bigger: q or 54?
q
Let a = -11409 + 57043/5. Which is greater: -8895 or a?
a
Let w be (-23790)/(-427)*854/(-3). Are w and -15861 non-equal?
True
Let x = -35123 + 35123. Which is smaller: x or 4/14561?
x
Let u = -16 - -16.7. Let g be (1*2/14)/(1118/(-19565)). Is g != u?
True
Let k = -0.0378 + -0.0622. Let t = 7 - 20. Which is smaller: t or k?
t
Let q = -64/333 - -3/37. Let n = -700 - -561. Let w = -138 - n. Which is bigger: q or w?
w
Let a = 3113 - 3202. Are a and -966/11 nonequal?
True
Let r be (-72)/(-45) + -1*(-6 - -8). Is r greater than 2.22?
False
Let i be 2990/(-54587) - (-16)/272. Which is greater: -2 or i?
i
Let l = -0.164 - -0.018. Let o = 0.146 + l. Which is bigger: o or -3/4?
o
Let v be (-5)/(-10)*0/1 + 0. Let x(w) = -4*w - 42. Let q be x(v). Let i be (q/56)/((-1*1)/(-16)). Which is bigger: i or -11?
-11
Let j(b) = 29*b - 33. Let o be j(3). Let g(a) = a**3 - 55*a**2 + 51*a + 129. Let i be g(o). Which is smaller: 6 or i?
i
Let q = -413.8 - -302. Let h = 112 + q. Which is smaller: 48 or h?
h
Let q = 3.4 - 1.4. Let v be -7 - (-155)/(-10) - (-2 + 5). Which is smaller: q or v?
v
Let r = -896 + 884. Is -12 > r?
False
Let k be (1 + (-20)/2)*(-1365)/63. Which is smaller: k or 198?
k
Let g be -12 + -5 + (-112)/(-7). Do 1/21213 and g have the same value?
False
Suppose -3*v + 6*v - 9 = 0, -333 = -d + 4*v. Let x be d/145 - (2 - 1)*3. Which is greater: -2 or x?
x
Suppose 51*j + 38*j = 29*j - 36900. Is j greater than -3073/5?
False
Suppose 18*m = 22*m + 44. Let a be 1*-1 + (5148/(-600))/m. Is a less than 0?
True
Suppose -3*q = -181*g + 179*g - 99, -3*q - 3*g = -84. Suppose 6*l = 2*l - 24. Let t(i) = -5*i. Let o be t(l). Which is smaller: o or q?
o
Suppose -5*w = -4*j + 428, 0 = 3*w - w - 8. Suppose 0 = -o + 9*o - j. Let n(t) = t**2 - 13*t - 6. Let s be n(o). Is 6 != s?
True
Let r = -639 - -1046. Let o = -421 + r. Is o bigger than -2.5?
False
Let z = -57170 - -742239/13. Let q = -75 - z. Let j = 3 - 2. Which is smaller: j or q?
q
Let r = 7408/4314485 - 1/941. Do r and -1 have the same value?
False
Let z = 20 - 6. Let n(r) = 172*r + 216. Let l be n(4). Let d = l + -6330/7. Which is bigger: d or z?
z
Let q = 1395 - 1449. Suppose r - 137 = 3*w, -r = -2*w + 2*r - 103. Let l = w - q. Is 31/3 smaller than l?
False
Let r(v) = 2*v + 29. Let q be r(-13). Suppose -4*l + 4*c = q*c, 0 = 2*c. Let k(y) = y**2 + y + 4. Let m be k(l). Which is bigger: m or 2?
m
Let d be 0/7 + (-24)/36. Let w(g) = -g**2 - 6*g - 5. Let r be w(-5). Which is greater: d or r?
r
Let m = -2217 - -2054. Which is smaller: -1144/7 or m?
-1144/7
Let c(r) = -r**2 - 85*r - 1735. Let a be c(-51). Is -16/885 < a?
False
Let x be (-52)/(-5)*2/8. Let b = -3 + x. Which is bigger: 25 or b?
25
Let x = 22448510255415/59 + -380516153629. Let q = 32931231 + x. Let d = q - 2270. Which is bigger: -1 or d?
d
Suppose 4*d = -4*j + 936, -14*d + 918 = -10*d - 2*j. Suppose 0 = -5*f - 16*f + d. Let g = 17 - 5. Are g and f non-equal?
True
Let i be (-714)/(-12)*52/10. Let r = i - 311. Let z = 0.51 + -1.51. Is z at most r?
False
Let g be (-3)/(6*(-2)/20). Suppose -q = -f - 0*f + 5, -g*q = -2*f + 10. Suppose -5*t + c = -q*t - 108, -4*t - 4*c = -72. Is t greater than 22?
False
Let m = -126.46 + 1390.46. Which is smaller: m or -1?
-1
Let g be (0 - (0 + 1)) + 323. Let s = -69515 + 69837. Is g <= s?
True
Let x = 2137.8 + -665.8. Which is smaller: -1 or x?
-1
Let w = 26878/21 - 1280. Which is smaller: w or -21?
-21
Let g = -301 - -241. Let h be 24/(-180) + (-788)/g. Which is greater: 1/5 or h?
h
Suppose -248*d = -250*d + 4*l + 42, 4*d = 4*l + 84. Which is smaller: d or 100?
d
Let u = 16 - 15.68. Let m = -184641/13 + 14203. Which is greater: u or m?
u
Let r = -147 - -26. Let u = 15 + r. Which is bigger: 0.1 or u?
0.1
Let t(d) = d**3 - 14*d**2 - 14*d - 13. Let a be t(15). Suppose 0 = -u + 4*s - 2, 2*s - 24 = a*u - 2*s. Let b be u/(12/(-21)*(-7)/2). Which is smaller: 1/3 or b?
b
Suppose -2*z + 10 = 0, 7*z - 55 = -5*r + 2*z. Let q be r/14 + 138*(-16)/(-42). Is 54 equal to q?
False
Let a(p) = p**3 - 5*p - 11. Let f be a(-2). Let j be (f/45)/(2/(-36)). Are j and 3 unequal?
True
Suppose 5 + 0 = -5*r. Let z(u) = 5*u**2. Let i be z(r). Suppose -v - 3*s = -2*v + 15, -v - 2*s - i = 0. Which is smaller: 0.5 or v?
0.5
Suppose 4*t + 8 = 16. Suppose -t*u - 6 = 4*r, -r - u - u = 3. Is r at most 1/112?
True
Let p be (-9)/(9/(-4)) + -2. Suppose 0 = 2*t - 4*z + 2, -6*t - 22 = -p*t + z. Let m be (1/t)/(9/(-165)). Is 3 smaller than m?
True
Suppose 65*c - 349059 = -282*c + 1166637. Which is greater: 4363 or c?
c
Let g = 40331/3 - 13684. Let x = -236 - g. Do 4 and x have different values?
True
Suppose 17*b + 93 = 25. Let n(r) = -8*r - 85. Let s be n(b). Are s and -56 nonequal?
True
Let i(r) = -36*r + 1297. Let u be i(36). Is u > -1/461?
True
Let l = -0.5 + 0.34. Let b = -9.84 + l. Let h = 2534 + -2534.1. Do h and b have the same value?
False
Let i(n) = 224*n - 37 + 43 - 88*n. Let r be i(-6). Let d = r - -10500/13. Which is smaller: -2 or d?
d
Suppose -i - 80 = 2*t - 3*i, -5*t + 4*i = 196. Let n = t + 32. Let v be 1 + 338/(-236) + (-2)/n. Which is smaller: 1 or v?
v
Let x be (5/((-50)/(-8)))/2. Let n be (-4)/28 - (-13810)/(-56). Let h = 247 + n. Does h = x?
False
Let o(g) = g + 2. Let c be o(-2). Suppose 3*q + 1644 = 2*i, -5*i + 11*q - 8*q + 4092 = 0. Let m be 34/i*(-4)/(-7). Is m < c?
False
Let s(k) = -2*k**2 + 135*k - 792. Let w be s(61). Which is greater: -2/3001 or w?
w
Suppose -b - 11138 = -30*h + 34*h, 2*h = 14. Which is smaller: -11165 or b?
b
Let q(y) = y**3 + 6*y**2 - y. Let r be q(-3). Suppose 4*o - o = r. Let v be 2 + (-11)/5 - 308/o. Which is bigger: 0 or v?
0
Let m = -65314 + 457196/7. Let g = -0.3 + 4.7. Which is greater: m or g?
g
Let l(c) = -c**2 - 37*c + 73. Let i be l(-39). Let b(d) = -7*d - 31. Let g be b(i). Are g and 9 non-equal?
True
Let b be (-48)/36*(-6)/4. Let t(v) = v**2 + 8*v + 1. Let z be t(-5). Let o be (-27)/(-2)*z/(-84). Is o at most as big as b?
False
Let u = -2594 - -2595. Is u >= 12/11?
False
Let n be (72/48)/((-6)/28). Let g be (-86)/(-387) - n*26/(-9). Which is bigger: -21 or g?
g
Let s = 620 - 288. Let d = -331.8 + s. Which is greater: d or -9/2?
d
Let k be (33/396 - 5/20)/((-2)/(-3)). Is -24.68 less than or equal to k?
True
Suppose -16 = -3*m + 2*d, -3*m + d + 6 + 5 = 0. Suppose m*i - 382 = 2*k, 0 = -k + 5*k - 8. Are 193 and i nonequal?
False
Let r be (-1941057)/(-290) - 48/160. Is 6692 > r?
False
Let q(n) = -n**2 + 20*n + 2. Let c be q(20). Suppose c*g - 152 = -5*m, 2*g - 115 = -4*m + 7. Let o be (-1*(-1)/9)/((-10)/m). Are o and -0.17 unequal?
True
Let q(v) = 7*v**2 - 30*v + 147. Let m be q(9). Which is greater: 437 or m?
m
Let z = 3.084 - 5.084. Is 9.98 at most as big as z?
False
Let o be -27 - (3 + -2 + 0). Let k = o + 34. Let y be (((-3)/11)/(k + -5))/(-3). Is 1 bigger than y?
True
Suppose -5*r - 661 = 3*n, 3*n - 4*r = -n - 828. Let u = -184 - n. Is 24 greater than or equal to u?
False
Let y(n) = 2*n**2 - 25*n - 408. Let b be y(-11). Which is greater: b or -1?
b
Let c = 137 - 132. Suppose 2*v + 15 = -3*n, c*v + 20 = -11*n + 7*n. Which is smaller: n or -6?
-6
Suppose 4*t - 144 + 136 = 0. Let s be (3/((-6)/(-4)))/t. Are s and -3/10 equal?
False
Suppose 0 = 2*t - 2, 9*t - 2 = -r + 7*t. Which is smaller: -41/68 or r?
-41/68
Let b = -12371 + 14691. Does b = 2321?
False
Let b = -12 + -29. Let t be -35 - -38 - ((-1 - 0) + 0). Suppose 2*u - 3*q + 6*q + 87 = 0, 4*u + t*q = -172. Which is smaller: u or b?
u
Let b(u) = u**2 - 14*u - 13. Let v be b(15). Let r be v + 1 + (14 - -5). Suppose -3*w + r = -w. Is w > 1?
True
Let k be 2 + 0/2 + -17. Let u be ((-19888)/(-40))/22 + 2/5. Let x be k/35 - (u/28 - 1). Which is bigger: x or 3?
3
Suppose 0 = -a + 6