o j and 3.4 have different values?
True
Let v be (284/7)/((-98)/343). Let i be (((-858)/2)/(-3))/(-1). Does i = v?
False
Let r(a) = -57*a**2 + a. Let j be r(1). Let c be (-21 - -27)*247/(-26). Are c and j unequal?
True
Let d = 2.3 - 2.1. Let u = 8.76 + -9. Let h = -0.06 + u. Which is smaller: h or d?
h
Let u(b) = -5*b**2 + 24*b - 43. Let p(r) = 2*r**2 - 12*r + 21. Let h(m) = 9*p(m) + 4*u(m). Let j be h(-7). Is j bigger than -8?
True
Let u = -182 + 184. Suppose u*t + 2*z = -z - 14, t = -3*z - 13. Which is smaller: -1/45 or t?
t
Let x be ((-24)/15)/((-6)/15). Suppose 10*q - 7*q = 108. Let l be 4/2*x/q. Which is greater: -1.1 or l?
l
Let v(f) = 3*f**3 - 3*f**2 - 3. Let u be v(2). Suppose u - 113 = 2*n. Let h be n/455*14/(-20). Which is bigger: h or -1?
h
Let p = -19536 - -11716. Is 0 bigger than p?
True
Let h = -52 - -79. Let j = h - 6. Let a be ((-3)/j)/((-90)/(-35)). Do a and -1/4 have the same value?
False
Suppose 5*s + 72 = -2*i - 89, -4*s - 122 = 5*i. Let k = -233 - s. Are -200 and k unequal?
False
Let w be (0*6/12)/(2 + -3). Suppose n + 27 = -5*s + 10*s, n - 4*s + 22 = w. Which is greater: -31/12 or n?
n
Let z = -36 - -36. Let i = 17/47 - 242/799. Which is bigger: i or z?
i
Let t be ((-82)/2652)/((-10)/450). Let b = t + -23/17. Suppose 0*i = -h - 2*i + 7, 2 = -h + i. Is b smaller than h?
True
Suppose -222 + 363 = -141*t. Suppose 0 = -3*w, 5*h + 2*w = -w - 25. Let s be -1 - ((-17)/h + -2). Which is smaller: s or t?
s
Suppose -2*x - 44 = -6*x. Let n = -13 + x. Let f be -2 - (16/5 + -2). Which is bigger: n or f?
n
Suppose -2*s - h + 6 = 0, 4*s - 5*s + 3*h = -3. Let p be s/9*21 + -6. Which is greater: -4/9 or p?
p
Let x = -104466 - -450561861/4313. Is x less than -1?
False
Let r be (-56)/(-644) + 1731/(-69). Which is bigger: -216 or r?
r
Let t = 1.675 - 104.395. Let m = -0.28 + t. Let y = -5.92 - -4.92. Which is bigger: m or y?
y
Let r(m) = 11*m - 11. Let d be r(1). Suppose d = -3*f - 5*f + 2048. Is 256 at least as big as f?
True
Let u be 10/(-9)*(-2771)/(-1630). Let y = -8 + 6. Is y < u?
True
Let f be (-2110493)/211 - (-6 + 120/18). Let d = -10003 - f. Is d <= -1?
False
Let s = -29 - -30. Let y = s - -13. Suppose 3*h + y = -4*h. Which is smaller: h or 1?
h
Let v = 8.566 + -8.466. Is v less than -11162?
False
Let z(f) = f**2 - 4*f - 8. Let c be z(6). Let h be (-1 + c)*(-2)/50. Let o = -674825 - -674824. Which is greater: h or o?
h
Suppose 3*u = j + 40, 240 = -5*j - 2*u - 3*u. Let m = j - -48. Suppose 5*n = 0, m*r - n = -r. Which is smaller: r or 2/293?
r
Let b = 3298.84 - 3157. Let r = b - 142. Let o = -5.1 - -5. Is r less than or equal to o?
True
Let a = 517 - 226. Suppose 2*t + 2*b - a = -91, -5*b = 0. Let z = -134 + t. Which is smaller: -35 or z?
-35
Let i(g) = g**2 - 16*g + 9. Let y be i(13). Let h be 2*(2 - y/(-12)). Is 0.29 less than h?
False
Let z(t) be the second derivative of t**5/20 + 5*t**4/2 - 5*t**3 + 14*t**2 + 2*t - 2. Let i be z(-31). Which is greater: -36/11 or i?
i
Let x = -0.077 + 130.077. Let j = -129 + x. Is -2/163 at least j?
False
Let v be 4/6*3/2. Suppose 121 - 1925 = -130*w - 321*w. Are v and w nonequal?
True
Let q be -4*(-3)/(-102) + -7 + 102945/14535. Which is greater: 39 or q?
39
Let u = 39/235 + -3719/2585. Is u equal to -35?
False
Let k(f) = 5*f + 11. Let j(s) = -s**3 - 6*s**2 + 9*s - 3. Let a be j(-7). Let w be k(a). Let z = 79 + w. Which is greater: 4 or z?
z
Let p = -35 - -475. Suppose -4*h = -0*h - p. Is h > 109?
True
Let o = -45210/29 - -1559. Which is smaller: o or -2/17?
-2/17
Suppose 0 = -10*m + 8*m + 16. Suppose 0 = -4*g + 8*g + m, 3*u + 4*g - 4 = 0. Suppose -57 = -0*v + 3*v + 3*q, -40 = 2*v + u*q. Is v greater than -16?
False
Let o = 485 + -182. Let q = -302.8 + o. Which is smaller: 45 or q?
q
Let d = 170603/11 - 1410393/77. Is d less than or equal to -2808?
False
Suppose -33*l + 3 + 96 = 0. Suppose 4*b - 167 = b - 2*d, -l*b - d + 166 = 0. Which is bigger: b or 52?
b
Let a = 3755 + -3762. Is 74 bigger than a?
True
Let i = 32.86 + -33.37. Which is greater: 77 or i?
77
Suppose -21*c - 4 = -3 - 1. Is c at most as big as -1/2878?
False
Let y be (13/65)/((-14)/(-385)) - (-2 - -8). Is y less than or equal to 0.00041?
True
Let n be (64/20)/(-1*(-4)/30). Suppose -n = -2*i + 16. Let p = -45 - -64. Which is greater: p or i?
i
Let i = 3659 + -5059. Which is greater: i or -1399?
-1399
Let z be 4/60*5*(-15)/25. Let r = -6 + 11. Suppose b = 3*b - 4, 39 = r*l + 2*b. Which is smaller: z or l?
z
Let d = -9.11 + 6.01. Suppose 30*u = 12*u - 216. Which is smaller: d or u?
u
Suppose -4388 = -2465*y + 2469*y. Are y and -5484/5 unequal?
True
Let v be (-5)/15 - 195/9. Let a = -1501 + 1479. Is a greater than v?
False
Let n(i) = -3*i**2 - 31*i - 22. Let w be n(-8). Let p be (w/(-22236))/((-2)/9). Is 1 > p?
True
Let g = 9741 - 9740.9. Is 69 at least g?
True
Let v = 4315 - 4334.1. Is v equal to 1/6?
False
Let w = 3/68083265 - 13984643048108/17769732165. Let f = -787 - w. Let x = f - 3122/1305. Which is greater: x or -2?
-2
Suppose -2*k = 5*a - 13, 5*k - 5*a + 39 = 19. Which is bigger: -1/900 or k?
-1/900
Let l = 19556/4407 + -44/339. Are 4 and l non-equal?
True
Let o be 3 + 1 + ((-12)/1012)/(201/46364). Which is greater: 2 or o?
2
Let y = -21 + 19. Let t be y + 4 + (-39)/(-1). Is t < 40?
False
Let n be (-1)/2*(-10)/(-5). Let b be 1927/9870 - (-1)/14. Is b less than n?
False
Suppose 0 = 3*j + 2*j - 20, 3*x + 5*j = 11. Let c be 6/5 + (-6 - x). Let o be -3 - ((-28)/6 - -2). Which is bigger: c or o?
o
Let b be (2 + -3)/(1/(-6)). Suppose b*t = 2*t. Let j be (-2167)/(-985) - 197/90. Are j and t unequal?
True
Suppose -4*q = 5*o - 5, -10 = 4*o - 3*o + 3*q. Let j be ((-50)/(-75))/(o/(-3)). Let b = 41 + -45. Which is smaller: b or j?
b
Suppose 107 = 3*q - 2*y + 593, -5*q - 785 = 5*y. Which is smaller: -158 or q?
q
Let r be (1*2/6)/(98/(-882)). Let a = 30 + -23. Suppose -5*i = 23 + a. Is r > i?
True
Suppose -o + 4*o - 1 = 5*y, 0 = 4*o + 3*y + 18. Let f be (1 - o/(-4))*(35 + -31). Which is greater: 14 or f?
14
Let v be 3 - ((1 - 0) + 1 + -5). Suppose a - v + 4 = 0. Suppose 19 + 3 = a*k. Is k smaller than 11?
False
Let d be (154/(-330) - 1/5) + (-678)/(-990). Which is smaller: 31 or d?
d
Let h = 235 + -239. Suppose -52*z - 1404 = -0*z. Is z greater than or equal to h?
False
Let a be (-112)/(-113) - 0 - 1. Suppose 2 = -41*m + 125. Suppose -8*x - 6 = -3*g, -m*x = x + 3*g - 6. Is x greater than or equal to a?
True
Let y be 380/16*(7/(-3) - -1). Suppose 2*n = -n + z - 90, 3*n - 2*z + 84 = 0. Is n at most y?
True
Suppose 4*o - 3*o = 3*u - 148, -3*u + 9 = 0. Which is bigger: -142 or o?
o
Let z = 31 + -15. Let b = z - 33. Let d = b - -18. Which is smaller: -2/155 or d?
-2/155
Let h be (1 - -5) + (-12737)/271. Which is bigger: h or 1/3?
1/3
Let j be (-7 - -6)/((8 - 2)/1602). Which is smaller: -269 or j?
-269
Let u = 703135/19 - 37017. Let k = u - -10. Is -0.13 not equal to k?
True
Suppose -4*t + 13 = -11. Let v be 1*9/t + 0. Let q = -2 + v. Which is smaller: 4 or q?
q
Let c = -10220898/235 - -43493. Let k = c + 12851/65095. Which is smaller: k or -1?
-1
Let m be -2 + (-6)/((-60)/5390). Which is bigger: m or 539?
539
Let m = -5/1317 - -9101/1356510. Which is smaller: 1 or m?
m
Let b = -95 - -100. Suppose -3*f - f = 4*z - 32, -3*z - b*f = -34. Let a = -7 - -11. Is a smaller than z?
False
Let s = -6.6 + 1.8. Let p = -3.2 + s. Let i = -7.99 - p. Which is smaller: i or -0.4?
-0.4
Let i be 8/5*(-15)/(-1). Suppose 1 = l - i. Let t(k) = -k**3 - 17*k**2 - 4*k - 42. Let g be t(-17). Is l != g?
True
Let j(f) = 1101*f + 1001. Let v be j(0). Do 1008 and v have the same value?
False
Let p(c) = -13*c**3 + 2*c**2 + 3*c + 16. Let u be p(-4). Suppose -7*w - 4*t + u = -12*w, 4*w + 3*t = -682. Is -173 equal to w?
False
Let p(s) = -s + 5. Let v be p(6). Let n be 32/(-112) + 3879/(-70) + 2. Let b = n + 107/2. Is b less than v?
False
Let k be ((-18)/(-63))/(2 + -3 + -1). Let t = 57 + -56.91. Let d = 3.09 - t. Is d greater than k?
True
Let c = 43.09 + -16.09. Which is smaller: c or 61?
c
Suppose 40*c + 40 = 200. Suppose -c*g + 8*u + 91 = 3*u, 3*u + 9 = 0. Is g >= 2?
True
Let h be ((-225)/(-10))/(1/(-22)). Let g be (-1)/2*6/h. Let x be (-46)/50 - 25*(-78)/(-24375). Is g at least as big as x?
True
Let v be (4 + 1 + -3)/(1/((-10)/20)). Which is smaller: v or 1/319?
v
Let n = 